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