Searched refs:file2 (Results 1 – 2 of 2) sorted by relevance
11 Usage: $0 [options] file1 file216 -m ............. mv file2 to file1 after diffing17 -M ............. mv file2 to file1 after diffing if it is an alt file21 -F ............. filter file2 with commands; e.g., 'grep -v foo | grep -v bar'113 file2=${2}115 echo Error! file2 check failed: "${2}"120 filter_file "${file2}" "${filter_cmd}"121 file2="${file2}${filter_suffix}" # Will need to remove later135 …${SED} "s/< [-+ ]*[ 0-9][0-9]*\.*[0-9]*[eE][-+][0-9][0-9]*/XXX/g" ${file2} | ${SED} "s/E+000//g" |…138 ${DIFF} ${file1} ${file2}[all …]
75 $ git add file1 file2