4 if [ -z $JPP_DIR ]; then
 
    5     echo "Variable JPP_DIR undefined."
 
    9 source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
 
   11 set_variable   WORKDIR     ${TMPDIR:-/tmp}/
 
   12 set_variable   DETECTOR    49
 
   13 set_variable:  FORMAT      GRAPHICS_FORMAT        gif
 
   14 set_variable+  BATCH       GRAPHICS_BATCH         -B
 
   17     usage "$script <input file>"\
 
   18           "\nExample input file https://git.km3net.de/calibration/input_tables/-/blob/master/data/sound/SV_Profile_ORCA_250120.txt"
 
   21 if (( $# != 1 )); then
 
   22     fatal "Wrong number of arguments."
 
   29 rm -f $WORKDIR/sound_velocity.txt
 
   31 JAcoustics.sh $DETECTOR
 
   33 tail -1 sound_velocity.txt | read A B DEPTH
 
   40     -F "$A - 1.0 * $B * (x + $DEPTH)"  \
 
   44 JGraph -f $1 -o $WORKDIR/graph.root
 
   47     -f $WORKDIR/graph.root:\.\*        \
 
   48     -f $WORKDIR/f1.root:\.\*           \
 
   52     -o sound-velocity.$FORMAT          $BATCH