aboutsummaryrefslogtreecommitdiff
path: root/bin/grepsrc.sh
diff options
context:
space:
mode:
authorNils Gillmann <ng0@n0.is>2018-06-18 14:54:15 +0000
committerNils Gillmann <ng0@n0.is>2018-06-18 14:54:15 +0000
commit7bcf12f2a264a49f8a8125de48669af734846f4d (patch)
treed7ab8545f2bd4461fffa65df7d15fc4fa91ce6fe /bin/grepsrc.sh
parente35ee32cbed2e359a6a3eafbe385fc013b14a5b9 (diff)
downloadgnunet-7bcf12f2a264a49f8a8125de48669af734846f4d.tar.gz
gnunet-7bcf12f2a264a49f8a8125de48669af734846f4d.zip
Make the scripts in the bin folder public domain material.
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'bin/grepsrc.sh')
-rwxr-xr-xbin/grepsrc.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/grepsrc.sh b/bin/grepsrc.sh
index 0c18dd7d2..6b1771f1f 100755
--- a/bin/grepsrc.sh
+++ b/bin/grepsrc.sh
@@ -1,3 +1,4 @@
1#!/bin/sh 1#!/bin/sh
2# This scipt is in the public domain.
2# grepsrc.sh string --- greps for string over all C files 3# grepsrc.sh string --- greps for string over all C files
3find . -name "*.c" -print | grep -v "#" | xargs grep -n "$*" 4find . -name "*.c" -print | grep -v "#" | xargs grep -n "$*"