Searched refs:sedfile (Results 1 – 2 of 2) sorted by relevance
20 sedfile=/tmp/rcs2sccs_$$_sed21 rm -f $sedfile28 cat > $sedfile << EOF40 sed -e 's/;/\\$/g' $sedfile > $tmpfile41 cp $tmpfile $sedfile74 sed -f $sedfile $file > $tmpfile136 rm -f $tmpfile $emptyfile $initialfile $sedfile $commentfile
90 rm -f $sedfile254 rm -f $tmpfile $emptyfile $initialfile $sedfile279 rm -f $tmpfile $emptyfile $initialfile $sedfile $revfile