| 
    Jpp
    18.0.0-rc.2
    
   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