changeset 162:0bd8976bd5fb

add default aliases for gk and removeKernel
author Dirk Olmes <dirk@xanthippe.ping.de>
date Thu, 09 Jan 2020 13:03:20 +0100
parents 4500455b2375
children 201c8ca43ab1
files zshrc
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/zshrc	Tue Jan 07 15:27:52 2020 +0100
+++ b/zshrc	Thu Jan 09 13:03:20 2020 +0100
@@ -31,12 +31,14 @@
 # custom functions/aliases that should work on all platforms
 cd() { builtin cd "$@"; print -D $PWD; }
 ff() { find $2 -print0 | xargs -0 grep $1 }
+alias gk="$HOME/.zsh-env/gk.sh"
 gve() { grep -ve '^#' $1 | uniq | less }
 hgrep() { history | grep $* }
 mcd() { mkdir $1; cd $1 }
 psg() { ps auxww | grep -v grep | grep -i "$@" }
 alias pd=pushd
 alias history="history 1"
+alias removeKernel="$HOME/.zsh-env/removeKernel"
 alias sl='screen -ls'
 alias sn='screen -S'
 alias sr='screen -r'