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 <