Jpp  master_rocky-37-gf0c5bc59d
the software that should make you happy
JProperties.sh
Go to the documentation of this file.
1 #!/bin/zsh
2 #
3 # \author mdejong
4 #
5 version=1.0
6 script=${0##*/}
7 
8 # ------------------------------------------------------------------------------------------
9 #
10 # Example script for JProperties
11 #
12 # ------------------------------------------------------------------------------------------
13 
14 
15 if [ -z $JPP_DIR ]; then
16  echo "Variable JPP_DIR undefined."
17  exit
18 fi
19 
20 
21 source $JPP_DIR/setenv.sh $JPP_DIR
22 
23 
24 set_variable INPUT_FILE $JPP_DATA/genhen.km3net_wpd_V2_0.evt
25 
26 if do_usage $*; then
27  usage "$script [input file]"
28 fi
29 
30 case $# in
31  1) set_variable INPUT_FILE $1;;
32 esac
33 
34 print_variable INPUT_FILE
35 
36 JProperties -f $INPUT_FILE
37 
38 echo -n "Number of events "
39 grep -E "start_event:" $INPUT_FILE | wc -l