diff --git a/scripts/build_and_deploy.sh b/scripts/build_and_deploy.sh index 180291a4ff103584e8ca0c10c44bfdfa61f59bb2..91f64de2b2e0799d313e56ad890063e429d2b323 100644 --- a/scripts/build_and_deploy.sh +++ b/scripts/build_and_deploy.sh @@ -5,9 +5,24 @@ set -e cd $(dirname $0)/.. + + +FIJI_APP="/opt/Fiji.app" +if [ -n "$1" ] ; then + FIJI_APP="$1" +fi + +PLUGINS="$FIJI_APP/plugins/" +if ! [ -d "$PLUGINS" ] ; then + echo "ERROR: can't find Fiji plugins directory: [$PLUGINS]" + echo "Make sure to specify the *ABSOLUTE* path to a Fiji installation!" + exit 1 +fi + + ### build mvn ### deploy -find /opt/Fiji.app/plugins/ -name 'NoiSee-*.jar' | xargs --no-run-if-empty rm -v -cp -v $(find target -iname '*.jar' -and -not -iname '*-sources.jar') /opt/Fiji.app/plugins/ +find "$PLUGINS" -name 'NoiSee-*.jar' | xargs --no-run-if-empty rm -v +cp -v $(find target -iname '*.jar' -and -not -iname '*-sources.jar') "$PLUGINS"