Searched refs:INITFILE (Results 1 – 1 of 1) sorted by relevance
96 INITFILE=$199 if [ ! -r "$INITFILE" ]; then100 echo "The base file '$INITFILE' does not exist. Exit." >&2110 echo "Using $INITFILE as base"111 cat $INITFILE > $TMP_FILE
Completed in 5 milliseconds