Removing appended paths for workspace deactivation/switching in bash
Added fix for removing appended paths from PATH or LD_LIBRARY_PATH variables when deactivating or switching workspace in bash shell
Edited by André Meixner
Added fix for removing appended paths from PATH or LD_LIBRARY_PATH variables when deactivating or switching workspace in bash shell