fix deleting screw up
authorJesus de Mula Cano <demula@gmail.com>
Sun, 6 Mar 2011 23:18:05 +0000 (00:18 +0100)
committerJesus de Mula Cano <demula@gmail.com>
Sun, 6 Mar 2011 23:18:05 +0000 (00:18 +0100)
plugins/base.plugin.bash

index 3a73b30..444c0f0 100644 (file)
@@ -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