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