Searched refs:INITFILE (Results 1 – 2 of 2) sorted by relevance
93 INITFILE=$196 if [ ! -r "$INITFILE" ]; then97 echo "The base file '$INITFILE' does not exist. Exit." >&2105 echo "Using $INITFILE as base"106 cat $INITFILE > $TMP_FILE
111 INITFILE=$1114 if [ ! -r "$INITFILE" ]; then115 echo "The base file '$INITFILE' does not exist. Exit." >&2126 echo "Using $INITFILE as base"130 cat $INITFILE > $TMP_FILE