sound-velocity.sh File Reference

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	WORKDIR
then usage $script< input file > nExample input file	https

Variable Documentation

script

Initial value:

=${0##*/}

if [ -z $JPP_DIR ]

Definition at line 2 of file sound-velocity.sh.

then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR& dev null set_variable WORKDIR

Initial value:

{TMPDIR:-/tmp}/
set_variable   DETECTOR    49
set_variable:  FORMAT      GRAPHICS_FORMAT        gif
set_variable+  BATCH       GRAPHICS_BATCH         -B

if do_usage $*

Definition at line 11 of file sound-velocity.sh.

then usage $script<input file> nExample input file https

Definition at line 21 of file sound-velocity.sh.