From ea23a24cfcfd774de6ce8a82d76f88619ca901ac Mon Sep 17 00:00:00 2001 From: trac Date: Sun, 12 Jun 2011 12:38:31 +0200 Subject: [PATCH] update script can be executed in respective server directory to update plugins from maven-repositories --- java/target/update | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100755 java/target/update diff --git a/java/target/update b/java/target/update new file mode 100755 index 00000000000..0b1aecb5125 --- /dev/null +++ b/java/target/update @@ -0,0 +1,8 @@ +#!/bin/sh +branch=`basename \`pwd\` | sed -e 's/[12]$//'` +echo Branch: $branch +branchMavenRepository=~/maven-repositories/$branch +echo Maven repository for branch: $branchMavenRepository +echo Copying all JAR files from Maven repository to branch server\s plugin directory... +find $branchMavenRepository -name '*.jar' -exec cp -v "{}" ./plugins \; +echo Done.