ws\setup.bat or ws\devel\setup.bat?

--> install space, dev space, workspace..