Loading tools/max.sh +6 −5 Original line number Diff line number Diff line Loading @@ -5,7 +5,9 @@ DIRECTORY=$(cd `dirname $0` && pwd) MAX_PLUGINS_DIR=$DIRECTORY/../plugins BASEX_CLIENT_BIN="basexclient" BASEX_BIN="basex" DEMO_RELEASE_URL="https://git.unicaen.fr/pdn-certic/max-tei-demo/-/archive/v1.0/max-tei-demo-v1.0.zip" MAX_DEMO_VERION_NUMBER="v1.1" MAX_DEMO_VERSION="max-tei-demo-"$MAX_DEMO_VERION_NUMBER DEMO_RELEASE_URL="https://git.unicaen.fr/pdn-certic/max-tei-demo/-/archive/v1.1/"$MAX_DEMO_VERSION".zip" dependency_test(){ result=$(command -v $1) Loading Loading @@ -214,16 +216,15 @@ demo_edition_build(){ echo 'MaX demo install error : Cannot fetch '$DEMO_RELEASE_URL exit -1 fi unzip max-tei-demo-v1.0.zip mv max-tei-demo-v1.0 max_tei_demo rm max-tei-demo-v1.0.zip unzip $MAX_DEMO_VERSION.zip mv $MAX_DEMO_VERSION max_tei_demo rm $MAX_DEMO_VERSION.zip cd $DIRECTORY # enable project plugins enable_plugin apparat_critique max_tei_demo enable_plugin breadcrumb max_tei_demo enable_plugin correction max_tei_demo enable_plugin equations max_tei_demo enable_plugin img_viewer max_tei_demo enable_plugin search max_tei_demo enable_plugin tei_pdf max_tei_demo Loading Loading
tools/max.sh +6 −5 Original line number Diff line number Diff line Loading @@ -5,7 +5,9 @@ DIRECTORY=$(cd `dirname $0` && pwd) MAX_PLUGINS_DIR=$DIRECTORY/../plugins BASEX_CLIENT_BIN="basexclient" BASEX_BIN="basex" DEMO_RELEASE_URL="https://git.unicaen.fr/pdn-certic/max-tei-demo/-/archive/v1.0/max-tei-demo-v1.0.zip" MAX_DEMO_VERION_NUMBER="v1.1" MAX_DEMO_VERSION="max-tei-demo-"$MAX_DEMO_VERION_NUMBER DEMO_RELEASE_URL="https://git.unicaen.fr/pdn-certic/max-tei-demo/-/archive/v1.1/"$MAX_DEMO_VERSION".zip" dependency_test(){ result=$(command -v $1) Loading Loading @@ -214,16 +216,15 @@ demo_edition_build(){ echo 'MaX demo install error : Cannot fetch '$DEMO_RELEASE_URL exit -1 fi unzip max-tei-demo-v1.0.zip mv max-tei-demo-v1.0 max_tei_demo rm max-tei-demo-v1.0.zip unzip $MAX_DEMO_VERSION.zip mv $MAX_DEMO_VERSION max_tei_demo rm $MAX_DEMO_VERSION.zip cd $DIRECTORY # enable project plugins enable_plugin apparat_critique max_tei_demo enable_plugin breadcrumb max_tei_demo enable_plugin correction max_tei_demo enable_plugin equations max_tei_demo enable_plugin img_viewer max_tei_demo enable_plugin search max_tei_demo enable_plugin tei_pdf max_tei_demo Loading