230bf496c8
this commit adds support for Gitpod.io, a free automated dev environment that makes contributing and generally working on GitHub projects much easier. It allows anyone to start a ready-to-code dev environment for any branch, issue and pull request with a single click.
11 lines
378 B
Docker
11 lines
378 B
Docker
FROM gitpod/workspace-full
|
|
|
|
USER gitpod
|
|
|
|
# Install custom tools, runtime, etc. using apt-get
|
|
# For example, the command below would install "bastet" - a command line tetris clone:
|
|
#
|
|
# RUN sudo apt-get -q update && # sudo apt-get install -yq bastet && # sudo rm -rf /var/lib/apt/lists/*
|
|
#
|
|
# More information: https://www.gitpod.io/docs/config-docker/
|