4if [ -z $JPP_DIR ]; then
5 echo "Variable JPP_DIR undefined."
9source $JPP_DIR/setenv.sh $JPP_DIR #>& /dev/null
12set_variable DIR $JPP_DIR/examples/JAcoustics/
13set_variable: FORMAT GRAPHICS_FORMAT gif
14set_variable+ BATCH GRAPHICS_BATCH -B
16set_variable SOUND_VELOCITY 1541.00 -17e-3 -2000.00
25 usage "$script <input file>"\
26 "\nSee https://git.km3net.de/calibration/input_tables/data/sound/ for example files."
30 1) set_variable INPUT_FILE $argv[1];;
31 *) fatal "Wrong number of arguments.";;
38 -V "$SOUND_VELOCITY" \
44 -V "$SOUND_VELOCITY" \
54 -\^ "number of entries" \
64 -\^ "number of entries" \
74 -p "$((-1 * $za)) $(($v0 + $b*($za - $z0))) $((-1 * $zb)) $(($v0 + $b*($zb - $z0)))"
77 -@ "titleOffset = 1.2" \
94 -@ "titleOffset = 0.6" \
95 -@ "bottomMargin = 0.2" \
97 -@ "tickLength = 4.5" \
103 -\^ "#Deltav [m/s]" \
115 -F "[0] + [1]*(x - 2000.0)" \
121 -@ "titleOffset = 1.5" \
131 -o fit.$FORMAT $BATCH