From 39f7b4670d7eb8eacad7713aae3fd42ce487761a Mon Sep 17 00:00:00 2001 From: Jer Noble Date: Tue, 22 May 2012 11:02:49 -0700 Subject: [PATCH] Added switchto() function to switch between webkit checkout. --- .webkit_login | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.webkit_login b/.webkit_login index 44454bd..477be0c 100644 --- a/.webkit_login +++ b/.webkit_login @@ -1,6 +1,10 @@ #!/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 + +function switchto() { + source ~/Projects/WebKit.$1/webkitenv +} -- 2.40.1