4if [ -z $JPP_DIR ]; then
5 echo "Variable JPP_DIR undefined."
9source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
11set_variable WORKDIR ${TMPDIR:-/tmp}/
12set_variable DETECTOR 49
13set_variable: FORMAT GRAPHICS_FORMAT gif
14set_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"
22 fatal "Wrong number of arguments."
29rm -f $WORKDIR/sound_velocity.txt
31JAcoustics.sh $DETECTOR
33tail -1 sound_velocity.txt | read A B DEPTH
40 -F "$A - 1.0 * $B * (x + $DEPTH)" \
44JGraph -f $1 -o $WORKDIR/graph.root
47 -f $WORKDIR/graph.root:\.\* \
48 -f $WORKDIR/f1.root:\.\* \
52 -o sound-velocity.$FORMAT $BATCH