JLigier.sh

Go to the documentation of this file.

#!/bin/zsh
#
# \author mdejong
#
script=${0##*/}

# ------------------------------------------------------------------------------------------
#
#                             Utility script to remotely run JLigier.
#
# ------------------------------------------------------------------------------------------

if [ -z $JPP_DIR ]; then
    echo "Variable JPP_DIR undefined."
    exit
fi

source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null

set_variable   PORT            5553          
set_variable   HOST            `get_ip_address`  

if do_usage $*; then
    usage "$script [host name [port]] <option>"\
          "\nPossible options: start, stop, continue, restart."
fi

case $# in
    3) set_variable  OPTION  $3
       set_variable  PORT    $2
       set_variable  HOST    $1;;
    2) set_variable  OPTION  $2
       set_variable  HOST    $1;;
    1) set_variable  OPTION  $1;;
    *) usage;;
esac

ssh $HOST "zsh -c '(source $JPP_DIR/setenv.sh $JPP_DIR && JLigier-local.sh $PORT $OPTION)'"