2014-01-17 12:53:15 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
|
|
|
|
|
|
export TWISTER_CORE_PATH='/home/vagrant/twister-core'
|
|
|
|
|
export TWISTER_HOME='/home/vagrant/.twister'
|
|
|
|
|
|
2014-01-18 01:44:57 +00:00
|
|
|
alias twisterd='$TWISTER_CORE_PATH/twisterd'
|
2014-01-17 12:53:15 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if [ ! -n "$TWISTER_OLD_PATH" ]; then
|
|
|
|
|
echo 'setting up the environment'
|
|
|
|
|
export TWISTER_OLD_PATH=$PATH
|
|
|
|
|
export TWISTER_OLD_PS1=$PS1
|
|
|
|
|
export PATH=$DIR/bin:$PATH
|
|
|
|
|
export PS1="(twister)$PS1\n> "
|
|
|
|
|
else
|
|
|
|
|
echo 'already active'
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
function deactivate {
|
|
|
|
|
if [ -n "$TWISTER_OLD_PATH" ]; then
|
|
|
|
|
echo 'cleaning up the environment'
|
|
|
|
|
export PATH=$TWISTER_OLD_PATH
|
|
|
|
|
export PS1=$TWISTER_OLD_PS1
|
|
|
|
|
unset TWISTER_OLD_PATH
|
|
|
|
|
unset TWISTER_OLD_PS1
|
|
|
|
|
unset -f deactivate
|
|
|
|
|
fi
|
|
|
|
|
}
|
