Permalink
Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.
Sign up
Daniel-Mietchen
Gitpod configuration
ee7bdfd
Nov 28, 2019
FROM gitpod/workspace-full | |
USER root | |
# Install custom tools, runtime, etc. using apt-get | |
# For example, the command below would install "bastet" - a command line tetris clone: | |
# | |
# RUN apt-get update \ | |
# && apt-get install -y bastet \ | |
# && apt-get clean && rm -rf /var/cache/apt/* && rm -rf /var/lib/apt/lists/* && rm -rf /tmp/* | |
# | |
# More information: https://www.gitpod.io/docs/42_config_docker/ |