Jpp
18.0.0-rc.4
the software that should make you happy
|
Go to the source code of this file.
Variables | |
script | |
then usage $script< detector identifier >[< archive > < version >] nAuxiliary script to download official detectors from wiki | nOptionally |
then usage $script< detector identifier >[< archive > < version >] nAuxiliary script to download official detectors from wiki the corresponding JSON files are stored in the archive with given version fi case set_variable VERSION | $argv [3] |
*fatal Wrong number of arguments esac set_variable WIKI_HTML $WORKDIR wiki html set_variable WIKI_TXT $WORKDIR wiki txt set_variable DETID getDetector D $DETID O string typeset Z DETID | if [[!-f $WIKI_HTML]] |
then wget no check certificate | user |
do debug $__line__ echo $__line__ read URL DETECTOR RUNS | RUNS |
then wget no check certificate load | cookies |
do | RUN1 |
then | |
RUN2 =99999999 | |
script |
Definition at line 2 of file archive-put-wiki-detectors.sh.
then usage $script<detector identifier> [<archive> <version>] nAuxiliary script to download official detectors from wiki nOptionally |
Definition at line 13 of file archive-put-wiki-detectors.sh.
& set_variable DETID $argv[1] |
Definition at line 13 of file archive-put-wiki-detectors.sh.
then if[["$ARCHIVE"!=""]] |
Definition at line 19 of file archive-put-wiki-detectors.sh.
then wget no check certificate user |
Definition at line 35 of file archive-put-wiki-detectors.sh.
Definition at line 65 of file archive-put-wiki-detectors.sh.
then wget no check certificate load cookies |
Definition at line 75 of file archive-put-wiki-detectors.sh.
RUN1 |
Definition at line 83 of file archive-put-wiki-detectors.sh.
then |
Definition at line 86 of file archive-put-wiki-detectors.sh.
RUN2 =99999999 |
Definition at line 87 of file archive-put-wiki-detectors.sh.