Add git
This commit is contained in:
parent
875625f879
commit
9a6f1bf18a
|
@ -3,6 +3,7 @@ FROM ubuntu:jammy
|
||||||
LABEL maintainer="sjkillen@ualberta.ca"
|
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 update && apt-get -qq install sudo gringo clasp time swi-prolog sbcl rlwrap
|
||||||
|
RUN apt-get -qq install git
|
||||||
|
|
||||||
ARG USERNAME=user
|
ARG USERNAME=user
|
||||||
ARG USER_UID=1000
|
ARG USER_UID=1000
|
||||||
|
|
|
@ -19,7 +19,7 @@ For Ubuntu, docker is installed with `sudo apt install docker.io`
|
||||||
|
|
||||||
![Step 3](howtouse_devcontainer/3.png)
|
![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)
|
![Step 4](howtouse_devcontainer/4.png)
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue