# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1578571400 -3600
# Node ID 0bd8976bd5fb72cd6c3a9186429ba36d0a7425d4
# Parent  4500455b237562dae6cf7487bf1714086cd5dc00
add default aliases for gk and removeKernel

diff -r 4500455b2375 -r 0bd8976bd5fb zshrc
--- 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'