Vanilla GitPod Ubuntu 20.04 image, with a few system dependencies enabled and GUI support via noVNC.
The VNC support is inspired from the https://github.com/robotology/icub-gazebo-grasping-sandbox .
Click on the following badge to open the GitPod image:
If you want to use this structure in a new repo, this are the step for taking the files from this repo and customizing it:
- Copy the file
.gitpod.ymland the directoriesdockerfilesand.github/workflowsin the new repo. - In
.gitpod.ymlfile, change the lineimage: ghcr.io/traversaro/gitpod-ubuntu-20.04:latesttoimage: ghcr.io/<organization>/<repo>:latest. - In
.github/workflows/publish-docker.ymlfile, change the linename: traversaro/gitpod-ubuntu-20.04toname: <organization>/<repo>. - Modify
dockerfiles/Dockerfile. In particular, modify the lines that start withLABELto describe your repo, and add the necessary installation step for your software asRUNlines. For more info, check the reference documentation on Dockerfiles.