gitpod

.docker/gitpod/Dockerfile

@@ -6,7 +6,9 @@ FROM ubuntu:jammy
 
 USER root
 
-RUN apt-get update && apt-get install sudo git curl git bash-completion python3 -y && apt-get clean
+RUN apt-get update
+RUN apt-get install sudo git curl git bash-completion python3 -y
+RUN apt-get clean
 
 RUN useradd -l -u 33333 -G sudo -md /home/gitpod -s /bin/bash -p gitpod gitpod \
     # passwordless sudo for users in the 'sudo' group

.gitpod.yml

@@ -1,5 +1,5 @@
 image:
-  file: .docker/gitpod/Dockerfile
+  file: .Dockerfile
 
 vscode:
   extensions:

Dockerfile

@@ -2,7 +2,8 @@ FROM ubuntu:22.04
 
 WORKDIR /
 
-RUN apt-get update && apt-get install -y git curl libatomic1
+RUN apt-get update
+RUN apt-get install -y git curl libatomic1
 
 # Install elan
 RUN curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz\