modified:   bash_startup.sh
	modified:   workspace_initialize