# HG changeset patch # User HackBot # Date 1478818965 0 # Node ID 7adcc6d0ebfbba2ba352f39525da9e4f0f84cf57 # Parent a64082bc9043b3ed3ccec331a29128b26c8e2e8a ` (echo \'#! /bin/sh\'; echo \'cd wisdom; grep -r "$@" .\') > bin/grwp; chmod +x bin/grwp diff -r a64082bc9043 -r 7adcc6d0ebfb bin/grwp --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/bin/grwp Thu Nov 10 23:02:45 2016 +0000 @@ -0,0 +1,2 @@ +#! /bin/sh +cd wisdom; grep -r "$@" .