Update the default workspace

Everytime we add a docker, we need to do this, otherwise the new
docker will be shown by default.