Update username info in ssh_config

[dotfiles.git] / zsh_webkit_login

diff --git a/zsh_webkit_login b/zsh_webkit_login
index af71a2b3e83464f57b91c14779feddd6a79293c7..08bb4088500729ffa7c0db1cf3ca6d774ca322f2 100644 (file)
--- a/zsh_webkit_login
+++ b/zsh_webkit_login
@@ -4,10 +4,13 @@ switchto() {
     export OLD_WEBKIT_DIR=$WEBKIT_DIR
     export WEBKIT_DIR=~/Projects/WebKit.$1
     export WEBKIT_OUTPUTDIR=$WEBKIT_DIR/OpenSource/WebKitBuild
+    export PERP_BUILD_PATH=$WEBKIT_OUTPUTDIR
     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=