Searched refs:INITFILE (Results 1 – 1 of 1) sorted by relevance
115 INITFILE=$1118 if [ ! -r "$INITFILE" ]; then119 echo "The base file '$INITFILE' does not exist. Creating one..." >&2120 touch "$INITFILE"127 echo "Using $INITFILE as base"131 cat $INITFILE > $TMP_FILE