Jpp  19.1.0-rc.1
the software that should make you happy
JLigier.sh
Go to the documentation of this file.
1 #!/bin/zsh
2 #
3 # \author mdejong
4 #
5 script=${0##*/}
6 
7 # ------------------------------------------------------------------------------------------
8 #
9 # Utility script to remotely run JLigier.
10 #
11 # ------------------------------------------------------------------------------------------
12 
13 if [ -z $JPP_DIR ]; then
14  echo "Variable JPP_DIR undefined."
15  exit
16 fi
17 
18 source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
19 
20 set_variable PORT 5553
21 set_variable HOST `get_ip_address`
22 
23 if do_usage $*; then
24  usage "$script [<host name> [port]] <option>"\
25  "\nPossible options: start, stop, continue, restart."
26 fi
27 
28 case $# in
29  3) set_variable OPTION $3
30  set_variable PORT $2
31  set_variable HOST $1;;
32  2) set_variable OPTION $2
33  set_variable HOST $1;;
34  1) set_variable OPTION $1;;
35  *) usage;;
36 esac
37 
38 ssh $HOST "zsh -c '(source $JPP_DIR/setenv.sh $JPP_DIR && JLigier-local.sh $PORT $OPTION)'"