PLEASE SEE THE NEW WORKSPACE INSTEAD
OR
Docker commands will generally have to be run with "sudo", so if you see usage of docker-compose in this documentation, you might need to use sudo docker-compose.
git clone https://github.com/Berkeley-CS162/docker.git
cd docker
docker-compose upWait until you see Docker workspace is ready!. Then you'll need to terminate the current command with Ctrl+C.
docker-compose up -dssh [email protected] -p 16222When prompted for a password, enter: vagrant
Local files are stored in ./docker/.workspace
docker-compose downsudo rm -rf .workspace