From 22eff7534412cc8e25080a125824dee29e29de78 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fernando=20Fern=C3=A1ndez?= Date: Thu, 3 Oct 2024 21:17:17 +0000 Subject: [PATCH] ci(devcontainer): use official debian base image --- .devcontainer/Dockerfile | 37 +++++++++++++++++++++++++++++++++ .devcontainer/devcontainer.json | 15 ++++++------- .devcontainer/postunpack.sh | 6 ------ 3 files changed, 45 insertions(+), 13 deletions(-) create mode 100644 .devcontainer/Dockerfile delete mode 100755 .devcontainer/postunpack.sh diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile new file mode 100644 index 00000000000..30d534a0a80 --- /dev/null +++ b/.devcontainer/Dockerfile @@ -0,0 +1,37 @@ +FROM mcr.microsoft.com/devcontainers/base:debian + +USER root +RUN rm -rf /bin/sh && ln -s /bin/bash /bin/sh + +# Create a helper for installing packages leaving no traces behind +COPY <