diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile index 0d52ba60d7acf3205c6f90ffb9bcc5e6a03f1137..c8a6356e175391aa9771096c75df9ed500e536de 100644 --- a/.gitpod.Dockerfile +++ b/.gitpod.Dockerfile @@ -5,6 +5,8 @@ USER root RUN add-apt-repository universe RUN apt update RUN apt -y install graphviz +RUN sudo apt-get update && sudo apt-get install -y matchbox && sudo apt-get clean && sudo rm -rf /var/cache/apt/* && sudo rm -rf /var/lib/apt/lists/* && sudo rm -rf /tmp/* + USER gitpod