[darcs-users] little shell scripts for recursive replacement and list of modified files

[Henning Thielemann]

I have attached two shell scripts, that darcs users might find useful.
-------------- next part --------------
# 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
-------------- next part --------------
# 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' '