diff options
author | Christian Grothoff <christian@grothoff.org> | 2009-05-29 00:46:26 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2009-05-29 00:46:26 +0000 |
commit | 0a217a8df1657b4334b55b0e4a6c7837a8dbcfd9 (patch) | |
tree | 6b552f40eb089db96409a312a98d9b12bd669102 /bin |
ng
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/grephdr.sh | 3 | ||||
-rwxr-xr-x | bin/grepsrc.sh | 3 | ||||
-rwxr-xr-x | bin/rename.sh | 6 |
3 files changed, 12 insertions, 0 deletions
diff --git a/bin/grephdr.sh b/bin/grephdr.sh new file mode 100755 index 0000000000..b0f9791960 --- /dev/null +++ b/bin/grephdr.sh @@ -0,0 +1,3 @@ +#!/bin/sh +# grepsrc.sh string --- greps for string over all java files +find . -name "*.h" -print | grep -v "#" | xargs grep "$@" diff --git a/bin/grepsrc.sh b/bin/grepsrc.sh new file mode 100755 index 0000000000..0c18dd7d2d --- /dev/null +++ b/bin/grepsrc.sh @@ -0,0 +1,3 @@ +#!/bin/sh +# grepsrc.sh string --- greps for string over all C files +find . -name "*.c" -print | grep -v "#" | xargs grep -n "$*" diff --git a/bin/rename.sh b/bin/rename.sh new file mode 100755 index 0000000000..7d5790b419 --- /dev/null +++ b/bin/rename.sh @@ -0,0 +1,6 @@ +#!/bin/sh +for n in `find * -name "*.c"` `find * -name "*.h"` +do + cat $n | sed -e "s/$1/$2/g" > $n.new + mv $n.new $n || echo "Move failed: $n.new to $n" +done |