From cced72742f7f8473fcb558f0d4fd663a8e434e1b Mon Sep 17 00:00:00 2001
From: Jesus de Mula Cano <demula@gmail.com>
Date: Mon, 7 Mar 2011 00:18:05 +0100
Subject: [PATCH] fix deleting screw up

---
 plugins/base.plugin.bash | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/plugins/base.plugin.bash b/plugins/base.plugin.bash
index 3a73b30..444c0f0 100644
--- a/plugins/base.plugin.bash
+++ b/plugins/base.plugin.bash
@@ -11,11 +11,19 @@ function myip {
   echo "Your public IP is: ${bold_green} $res ${normal}"
 }
 
+# Make a directory and immediately 'cd' into it
+
 function mkcd(){
 	mkdir -p "$*"
 	cd "$*"
 }
 
+# Search through directory contents with grep
+
+function lsgrep(){
+  ls | grep "$*"
+}
+
 # View man documentation in Preview
 pman () {
    man -t "${1}" | open -f -a $PREVIEW
-- 
2.17.1