From 9a6f1bf18a4a14654c62e966a982bfd50e595037 Mon Sep 17 00:00:00 2001 From: Spencer Killen Date: Wed, 11 Jan 2023 09:34:41 -0700 Subject: [PATCH] Add git --- Dockerfile | 1 + README.md | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 621961b..dc1e7aa 100644 --- a/Dockerfile +++ b/Dockerfile @@ -3,6 +3,7 @@ FROM ubuntu:jammy LABEL maintainer="sjkillen@ualberta.ca" RUN apt-get -qq update && apt-get -qq install sudo gringo clasp time swi-prolog sbcl rlwrap +RUN apt-get -qq install git ARG USERNAME=user ARG USER_UID=1000 diff --git a/README.md b/README.md index 259a126..4e50725 100644 --- a/README.md +++ b/README.md @@ -19,7 +19,7 @@ For Ubuntu, docker is installed with `sudo apt install docker.io` ![Step 3](howtouse_devcontainer/3.png) -5. Open the commands palete (CTRL + SHIFT + P) or (CTRL + P + >) and type "open in container" and select "Dev Containers: Reopen in Container" +5. Open the commands palette (CTRL + SHIFT + P) or (CTRL + P + >) and type "open in container" and select "Dev Containers: Reopen in Container" ![Step 4](howtouse_devcontainer/4.png)