# HG changeset patch
# User HackBot
# Date 1478894120 0
# Node ID 07673a5a3a32247c4e467ae99bd0500e4f644102
# Parent  7f39e7f409ee6d8d5049cf86584a6e760ca6d655
<oerjan> sled bin/grwp//1s/sh/bash/;2ccd wisdom; setopt -s dotglob; grep -R "$@" -- *

diff -r 7f39e7f409ee -r 07673a5a3a32 bin/grwp
--- a/bin/grwp	Fri Nov 11 19:44:16 2016 +0000
+++ b/bin/grwp	Fri Nov 11 19:55:20 2016 +0000
@@ -1,2 +1,2 @@
-#! /bin/sh
-cd wisdom; grep -R "$@" -- .* *
+#! /bin/bash
+cd wisdom; setopt -s dotglob; grep -R "$@" -- *