diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile index 4faa6c11c4f3fa5782300e7c27779eb6aa538af8..249d4d641c5b259daa4a1b283b6185cbfef06dc2 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 diff --git a/.gitpod.yml b/.gitpod.yml index 4f767714cbb58ea7d28cc7b35c2baca41ffe3216..69f0db534977dd6d1eb3d071181f4b80fcb66265 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -11,6 +11,6 @@ ports: vscode: extensions: - - jebbs.plantuml@2.13.12:q7DiD6H5NTesaWYIXmeMMQ== - - vsls-contrib.codetour@0.0.37:n/LcXr1DIqz+xFGficwDHA== + - vsls-contrib.codetour - ritwickdey.liveserver + - jebbs.plantuml