Jpp  19.1.0-rc.1
the software that should make you happy
JRunrange.sh
Go to the documentation of this file.
1 #!/bin/zsh
2 script=${0##*/}
3 
4 if [ -z $JPP_DIR ]; then
5  echo "Variable JPP_DIR undefined."
6  exit
7 fi
8 
9 source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
10 
11 if do_usage $*; then
12  usage "$script <detector identifier>"
13 fi
14 
15 case $# in
16  1) set_variable DETECTOR $1;;
17  *) fatal "Wrong number of arguments."
18 esac
19 
20 JCookie.sh
21 
22 JRuns \
23  -D $DETECTOR \
24  -d 1 | sort -n -k 1,1 | awk 'NR==1 { printf("%d", $1) } END { printf(" %d\n", $1) }'