darcs-scripts-0.1: darcs-replace-rec
# replace identifiers in the modules where they occur # files are searched recursively in up to 7 directories grep -rl --fixed-strings $1 $3 $4 $5 $6 $7 $8 $9 | xargs darcs replace $1 $2
# replace identifiers in the modules where they occur # files are searched recursively in up to 7 directories grep -rl --fixed-strings $1 $3 $4 $5 $6 $7 $8 $9 | xargs darcs replace $1 $2