From 808670358c652b38689896c55ea25846c03a8610 Mon Sep 17 00:00:00 2001 From: Michael Chirico Date: Wed, 6 Dec 2023 11:19:30 +0800 Subject: [PATCH] add git --- .devcontainer/Dockerfile | 3 +++ .devcontainer/devcontainer.json | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 8b1378917..0fb2392ae 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -1 +1,4 @@ +FROM registry.gitlab.com/jangorecki/dockerfiles/r-devel-gcc +RUN apt-get -qq update \ + && apt-get install -y --no-install-recommends git diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index bbda2085f..a1447f19e 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -1,3 +1,3 @@ { - "image": "registry.gitlab.com/jangorecki/dockerfiles/r-devel-gcc" + "build": { "dockerfile": "Dockerfile" } }