# HG changeset patch # User HackEso # Date 1575079000 0 # Node ID 51139b1da717c4d216fbe77ca01aa731ab7a659e # Parent f8017a8f2c4abd67e8e82644b763819c47f94ee5 ` sed -e \'s/wisdom/bin/g\' < /hackenv/bin/grwp > /hackenv/bin/grbp; chmod a+x /hackenv/bin/grbp diff -r f8017a8f2c4a -r 51139b1da717 bin/grbp --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/bin/grbp Sat Nov 30 01:56:40 2019 +0000 @@ -0,0 +1,2 @@ +#! /bin/bash +cd $HACKENV/bin; shopt -s dotglob; grep -R "$@" -- *