|
Jpp
18.2.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.
1.8.5