From 7bb079d6933b5ec24cfe2182ccc3bcc34a5f01bc Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Sun, 10 Sep 2023 23:39:44 +0200 Subject: [PATCH] revert gitpod --- .docker/gitpod/Dockerfile | 5 +---- .gitpod.yml | 6 +++--- 2 files changed, 4 insertions(+), 7 deletions(-) diff --git a/.docker/gitpod/Dockerfile b/.docker/gitpod/Dockerfile index 924f3da..12cb879 100644 --- a/.docker/gitpod/Dockerfile +++ b/.docker/gitpod/Dockerfile @@ -6,10 +6,7 @@ FROM ubuntu:22.04 USER root -RUN apt-get update -RUN apt-get --assume-yes install sudo git curl git bash-completion python3 -y -RUN apt-get --assume-yes install gcc npm -RUN apt-get clean +RUN apt-get update && apt-get --assume-yes install sudo git curl git bash-completion python3 -y && 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 91d3c8b..11c8eb4 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -6,7 +6,7 @@ vscode: - leanprover.lean4 tasks: - - before: | - cd /workspace && git clone https://github.com/leanprover-community/lean4game.git && cd /workspace/lean4game && npm install - init: | - lake update && lake exe cache get && lake build + lake exe cache get + - command: | + sudo apt-get --assume-yes install gcc