diff --git a/plugins/base.plugin.bash b/plugins/base.plugin.bash index 3a73b304..444c0f03 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