Lines Matching refs:FILE
28 # This file contains common function definitions for various other shell
31 # Important: before including this file, the following variables must be set:
79 local FILE="$PERSISTFILE_BASENAME-$VARNAME"
80 echo "${!VARNAME}" > $FILE
85 local FILE="$PERSISTFILE_BASENAME-$VARNAME"
86 local VALUE="$(cat $FILE)"
176 # Takes a file containing the patch to apply as first argument.
187 for FILE in $TOUCHED_FILES ; do
188 git add "$FILE"
193 for FILE in $DELETED_FILES ; do
194 git rm "$FILE"
