Loading tools/max.sh +1 −1 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ DIRECTORY=$(cd `dirname $0` && pwd) MAX_PLUGINS_DIR=$DIRECTORY/../plugins BASEX_CLIENT_BIN="basexclient" BASEX_BIN="basex" DEMO_RELEASE_URL="https://git.unicaen.fr/chauveau/max-tei-demo/-/archive/v1.0/max-tei-demo-v1.0.zip" DEMO_RELEASE_URL="https://git.unicaen.fr/pdn-certic/max-tei-demo/-/archive/v1.0/max-tei-demo-v1.0.zip" dependency_test(){ result=$(command -v $1) Loading Loading
tools/max.sh +1 −1 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ DIRECTORY=$(cd `dirname $0` && pwd) MAX_PLUGINS_DIR=$DIRECTORY/../plugins BASEX_CLIENT_BIN="basexclient" BASEX_BIN="basex" DEMO_RELEASE_URL="https://git.unicaen.fr/chauveau/max-tei-demo/-/archive/v1.0/max-tei-demo-v1.0.zip" DEMO_RELEASE_URL="https://git.unicaen.fr/pdn-certic/max-tei-demo/-/archive/v1.0/max-tei-demo-v1.0.zip" dependency_test(){ result=$(command -v $1) Loading