Commit 4a35c0aa authored by Jerome Chauveau's avatar Jerome Chauveau
Browse files

liens plugins en relatif. Fixes #83

parent bc3b7813

tools/max.sh

+8 −5
Original line number Diff line number Diff line
@@ -6,6 +6,8 @@ AVAILABLE_PLUGINS_DIR=$DIRECTORY/../plugins-available 
ENABLED_PLUGINS_DIR=$DIRECTORY/../plugins-enabled

MAX_PLUGINS_DIR=$AVAILABLE_PLUGINS_DIR/default

CUSTOM_PLUGINS_DIR=$AVAILABLE_PLUGINS_DIR/custom

RELATIVE_MAX_PLUGINS_DIR=../plugins-available/default

RELATIVE_CUSTOM_PLUGINS_DIR=../plugins-available/custom

BASEX_CLIENT_BIN="basexclient"

BASEX_BIN="basex"
@@ -74,19 +76,20 @@ enable_plugin(){ 


  if [ -d $MAX_PLUGINS_DIR/$1 ]

  then

    target=$MAX_PLUGINS_DIR/$1

    target=$RELATIVE_MAX_PLUGINS_DIR/$1

  else



    if [ -d $CUSTOM_PLUGINS_DIR/$1 ]

    if [ -d $RELATIVE_CUSTOM_PLUGINS_DIR/$1 ]

    then

      target=$CUSTOM_PLUGINS_DIR/$1

      target=$RELATIVE_CUSTOM_PLUGINS_DIR/$1

    else

      echo "Oups ! Plugin $1 does not exist."

      return

    fi

  fi



  ln -s $target $ENABLED_PLUGINS_DIR/$1

  cd $ENABLED_PLUGINS_DIR

  ln -s $target $1

  cd $DIRECTORY

  node $DIRECTORY/edition_manager.js -plugin $1

  echo -e "Plugin $1 successfully enabled."

  echo -e ''