- we use our groups GPU server, and run a docker container with ssh on it for remote development
- use the scripts: build-container.sh and start-container.sh
- then ssh from laptop into docker container
docker_setup
Folders and files
Name | Name | Last commit date | ||
---|---|---|---|---|
parent directory.. | ||||