Jpp
18.3.0-rc.1
the software that should make you happy
|
Go to the source code of this file.
Functions | |
then usage $script< input file > fi | if (($#!=1)) |
Variables | |
script | |
then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR &dev null set_variable | WORKDIR |
then fatal Wrong number of arguments fi set_variable INPUT_FILE | if [[${INPUT_FILE##*.}=="files"]] |
script |
Definition at line 5 of file JPrintHeaderFromFilelist.sh.
then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR& dev null set_variable WORKDIR |
Definition at line 20 of file JPrintHeaderFromFilelist.sh.
then fatal Wrong number of arguments fi set_variable INPUT_FILE if[[${INPUT_FILE##*.}=="files"]] |
Definition at line 32 of file JPrintHeaderFromFilelist.sh.