# Linux Workspace bashrc boostrap WORKSPACE_BASHRC=$(realpath $BASH_SOURCE) export WORKSPACE=$(dirname $WORKSPACE_BASHRC) export LWS=$WORKSPACE echo "Linux Workspace initialization $WORKSPACE_BASHRC" for rc_file in $WORKSPACE/rc/*; do source $rc_file done PATH="$PATH:$LWS/bin" PATH="$(uniq_path)" export PATH