if [ -z "$ZSH_NAME" ] && [ "x$0" = "x./environment-setup" ]; then echo "Error: This script needs to be sourced. Please run as \". ./environment-setup\"" exit 1 else if [ -n "$BASH_SOURCE" ]; then SCRIPT_PATH="`dirname $BASH_SOURCE`" fi pushd $SCRIPT_PATH SDK_PATH=$PWD popd > /dev/null # export PATH=$SDK_PATH/arm-toolchain/bin:$PATH export PATH=/home/deva/pedal2metal.old/tools/arm-toolchain/bin/:$PATH fi export PS1="\[\e[32;1m\][p2m]\[\e[0m\]:\w> "