8# ------------------------------------------------------------------------------------------
10# Example script for JProperties
12# ------------------------------------------------------------------------------------------
15if [ -z $JPP_DIR ]; then
16 echo "Variable JPP_DIR undefined."
21source $JPP_DIR/setenv.sh $JPP_DIR
24set_variable INPUT_FILE $JPP_DATA/genhen.km3net_wpd_V2_0.evt
27 usage "$script [input file]"
31 1) set_variable INPUT_FILE $1;;
34print_variable INPUT_FILE
36JProperties -f $INPUT_FILE
38echo -n "Number of events "
39grep -E "start_event:" $INPUT_FILE | wc -l