X-Git-Url: http://105106.c2e0p.group/dotfiles.git/blobdiff_plain/c818eaf1d302d0e37654ba8f48c6cb0ded141e8b..3b49c605d91d7fe18479b089b8ee184cb411704b:/zsh_webkit_login diff --git a/zsh_webkit_login b/zsh_webkit_login index af71a2b..5e949cb 100644 --- a/zsh_webkit_login +++ b/zsh_webkit_login @@ -5,9 +5,11 @@ switchto() { export WEBKIT_DIR=~/Projects/WebKit.$1 export WEBKIT_OUTPUTDIR=$WEBKIT_DIR/OpenSource/WebKitBuild if [[ "$OLD_WEBKIT_DIR" == "" ]]; then - export PATH=$PATH:$WEBKIT_DIR/OpenSource/Tools:$WEBKIT_DIR/OpenSource/Tools/Scripts:$WEBKIT_DIR/Internal/Tools/Scripts + export PATH=$PATH:$WEBKIT_DIR/Internal/Tools/Scripts:$WEBKIT_DIR/OpenSource/Tools:$WEBKIT_DIR/OpenSource/Tools/Scripts + export CDPATH=$CDPATH:$WEBKIT_DIR/OpenSource:$WEBKIT_DIR/OpenSource/Source:$WEBKIT_DIR/Internal else export PATH=$(echo $PATH | sed -e "s;$OLD_WEBKIT_DIR;$WEBKIT_DIR;g") + export CDPATH=$(echo $CDPATH | sed -e "s;$OLD_WEBKIT_DIR;$WEBKIT_DIR;g") fi export OLD_WEBKIT_DIR=