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)