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