From a01225c25459e4b68cc0a187efff654dc80d9906 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Fri, 8 Sep 2023 09:35:27 +0200
Subject: [PATCH] gitpod

---
 .docker/gitpod/Dockerfile | 4 +++-
 .gitpod.yml               | 2 +-
 Dockerfile                | 3 ++-
 3 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/.docker/gitpod/Dockerfile b/.docker/gitpod/Dockerfile
index 0a25374..ea458da 100644
--- a/.docker/gitpod/Dockerfile
+++ b/.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
diff --git a/.gitpod.yml b/.gitpod.yml
index 11c8eb4..9dfdf6f 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -1,5 +1,5 @@
 image:
-  file: .docker/gitpod/Dockerfile
+  file: .Dockerfile
 
 vscode:
   extensions:
diff --git a/Dockerfile b/Dockerfile
index 51263eb..32ded20 100644
--- a/Dockerfile
+++ b/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\