Searched refs:INITFILE (Results 1 – 7 of 7) 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
103 INITFILE=$1106 if [ ! -r "$INITFILE" ]; then107 echo "The base file '$INITFILE' does not exist. Exit." >&2117 echo "Using $INITFILE as base"118 cat $INITFILE > $TMP_FILE
104 INITFILE=$1107 if [ ! -r "$INITFILE" ]; then108 echo "The base file '$INITFILE' does not exist. Exit." >&2119 echo "Using $INITFILE as base"123 cat $INITFILE > $TMP_FILE
99 INITFILE=$1102 if [ ! -r "$INITFILE" ]; then103 echo "The base file '$INITFILE' does not exist. Exit." >&2118 echo "Using $INITFILE as base"122 cat $INITFILE | sed -e "$SED_CLEAR_EXP1" -e "$SED_CLEAR_EXP2" >> $TMP_FILE
22 @@ -105,7 +109,8 @@ if [ ! -r "$INITFILE" ]; then31 echo "Using $INITFILE as base"
26 echo "Using $INITFILE as base"27 cat $INITFILE > $TMP_FILE
5 @@ -109,7 +109,8 @@ if [ ! -r "$INITFILE" ]; then