workspace-configure.sh rename