If the standard Docker image that is provided by Gitpod does not include all the tools you need for developing your project, you can provide a custom Docker image.
There are two ways to configure a custom Docker image in your
Reference a publicly available image:
The official Gitpod Docker images are hosted on Docker Hub.
Reference a Dockerfile next to your
image: file: .gitpod.dockerfile
The Docker image is rebuilt automatically whenever the Dockerfile changes.
A good starting point for creating custom Docker Images is the
gitpod/workspace-full image. It already contains all the tools necessary to work with all languages Gitpod supports.
You can find the source code in this GitHub repository.
FROM gitpod/workspace-full # install custom tools, runtime, etc.
When you are launching the Gitpod IDE, the local console will use the
gitpod user, so all local settings, config file, etc. should apply to
/home/gitpod or be run using
Switching users in the Dockerfile to
gitpod requires switching back to
USER root at the end of the Dockerfile, so that the IDE can start. The following example shows a typical Dockerfile inheriting from
FROM gitpod/workspace-full:latest USER root # Install custom tools, runtime, etc. RUN apt-get update && apt-get install -y \ ... \ && apt-get clean && rm -rf /var/cache/apt/* && rm -rf /var/lib/apt/lists/* && rm -rf /tmp/* USER gitpod # Apply user-specific settings ENV ... # Give back control USER root
See also Gero’s blog post running through an example.