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)'"