Added switchto() function to switch between webkit checkout.

diff --git a/.webkit_login b/.webkit_login
index 44454bd2c1a806d49aa520ae8913bda57631478c..477be0c6d9ab257daf24a8b01e87cd9b9be6fccf 100644 (file)
--- a/.webkit_login
+++ b/.webkit_login
@@ -1,6 +1,10 @@
 #!/bin/bash
 
 #!/bin/bash
 

-export WEBKIT_DIR=~/Projects/WebKit.git
+export WEBKIT_DIR=~/Projects/WebKit.PuzzleBox

 if [[ -f ${WEBKIT_DIR}/webkitenv ]]; then
     source ${WEBKIT_DIR}/webkitenv
 fi
 if [[ -f ${WEBKIT_DIR}/webkitenv ]]; then
     source ${WEBKIT_DIR}/webkitenv
 fi

+
+function switchto() {
+    source ~/Projects/WebKit.$1/webkitenv
+}