changeset 9657:7adcc6d0ebfb

<int-e> ` (echo \'#! /bin/sh\'; echo \'cd wisdom; grep -r "$@" .\') > bin/grwp; chmod +x bin/grwp
author HackBot
date Thu, 10 Nov 2016 23:02:45 +0000
parents a64082bc9043
children 0a6d5db5a645
files bin/grwp
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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 "$@" .