# Linux Workspace bashrc boostrap WORKSPACE_BASHRC=$(realpath $BASH_SOURCE) export WORKSPACE=$(dirname $WORKSPACE_BASHRC) export LWS=$WORKSPACE echo "Linux Workspace initialization" if [[ -z $LC_ALL ]]; then export LC_ALL=en_US.UTF-8 fi for rc_file in $WORKSPACE/rc/*.sh; do source $rc_file done append_path "$LWS/bin" set_uniq_path