Changeset 195 for tools

Timestamp:

03/31/10 14:36:28 (15 years ago)

Author:

daqct3

Message:

Logon script takes repository location as parameter

File:

• tools/Scripts/Logon (modified) (1 diff)

tools/Scripts/Logon

@@ -3 +3 @@
 # This script should be sourced at log on (e.g. in .bashrc)
 
-export REPOS_DIR=$(cd "${0%/*}/../.." 2>/dev/null; echo "$PWD")
+export REPOS_DIR=$1
 if [ -z "$DIM_DNS_NODE" ]; then export DIM_DNS_NODE=ihp-pc1.ethz.ch; fi
 export DIM_HOST_NODE=$HOST.ethz.ch