From 1cfd869469b6177bed3e92afc104f4f88b3bb507 Mon Sep 17 00:00:00 2001 From: Ferenc Hammerl Date: Mon, 12 Sep 2022 13:29:55 +0200 Subject: [PATCH] Add gitlens and default container makefile --- .devcontainer/Makefile | 17 +++++++++++++++++ .devcontainer/devcontainer.json | 3 ++- 2 files changed, 19 insertions(+), 1 deletion(-) create mode 100644 .devcontainer/Makefile diff --git a/.devcontainer/Makefile b/.devcontainer/Makefile new file mode 100644 index 00000000000..8aec84313f1 --- /dev/null +++ b/.devcontainer/Makefile @@ -0,0 +1,17 @@ +ifdef DOCKER_USER + NAME ?= ${DOCKER_USER}/runner-devcontainer +else + NAME ?= fdev321123/runner-devcontainer +endif + +VERSION ?= latest + +docker-build: + docker build \ + -t "${NAME}:${VERSION}" \ + -f base.Dockerfile \ + . \ + +docker-push: + make docker-build + docker push ${NAME}:${VERSION} diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index ec2278ba814..a7a3d21f099 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -9,7 +9,8 @@ "vscode": { "extensions": [ "ms-azuretools.vscode-docker", - "ms-dotnettools.csharp" + "ms-dotnettools.csharp", + "eamodio.gitlens" ] } },