diff options
author | Ian Hinder <ian.hinder@aei.mpg.de> | 2010-12-09 16:46:20 +0100 |
---|---|---|
committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2010-12-09 16:46:20 +0100 |
commit | 6d55b5bd66da6f00eb840ba35ee63a3b891a8936 (patch) | |
tree | 19f74fc5658b09818e90a833cac32b23d73963fe /Bin | |
parent | 268df70567264ae5a3e15c22ebe0c6a847ee9998 (diff) |
Add krancvars.sh for setting up your shell to have the Kranc/Bin directory on PATH and KRANCDIR set to the Kranc directory
Diffstat (limited to 'Bin')
-rwxr-xr-x | Bin/krancvars.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Bin/krancvars.sh b/Bin/krancvars.sh new file mode 100755 index 0000000..0c91aae --- /dev/null +++ b/Bin/krancvars.sh @@ -0,0 +1,8 @@ + +export KRANCDIR=$(ls -d $(dirname ${BASH_ARGV[0]})/..) +if ! expr "$KRANCDIR">/dev/null : '/'; then + # Relative path + KRANCDIR="$PWD/$KRANCDIR" +fi + +export PATH="$KRANCDIR/Bin:$PATH" |