--- 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'