Jpp
18.4.0
the software that should make you happy
|
Go to the source code of this file.
Variables | |
script | |
then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR &dev null | set_variable |
then usage $script< detector identifier >< run > fi case set_variable | PARAMETER |
&set_variable | SOURCE |
&set_variable | RUNS |
set_variable | DETID |
*fatal Invalid number of arguments esac | SELECTOR |
then | |
fi | if [[-n"$PARAMETER"]] |
fi set_variable FILENAME | $WORKDIR |
then wget load | cookies |
script |
Definition at line 2 of file datalogs.sh.
then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR& dev null set_variable |
Definition at line 14 of file datalogs.sh.
Definition at line 19 of file datalogs.sh.
& set_variable SOURCE |
Definition at line 20 of file datalogs.sh.
& set_variable RUNS |
Definition at line 21 of file datalogs.sh.
set_variable DETID |
Definition at line 22 of file datalogs.sh.
SELECTOR |
Definition at line 26 of file datalogs.sh.
then |
Definition at line 31 of file datalogs.sh.
Definition at line 32 of file datalogs.sh.
Definition at line 34 of file datalogs.sh.
then wget load cookies |
Definition at line 39 of file datalogs.sh.