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 up
Wait until you see Docker workspace is ready!
. Then you'll need to terminate the current command with Ctrl+C
.
docker-compose up -d
ssh [email protected] -p 16222
When prompted for a password, enter: vagrant
Local files are stored in ./docker/.workspace
docker-compose down
sudo rm -rf .workspace