I have attached two shell scripts, that darcs users might find useful.
# 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
# list modified files in a simple way that is accessible for further processing # fails if 'darcs mv' was called darcs whatsnew -s | cut -f2 -d' '
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
