From 34f17b1e0bcb51079bcf70aae54d5fd07d9d63b6 Mon Sep 17 00:00:00 2001 From: Robin Thoni Date: Sat, 23 Mar 2024 01:41:07 +0100 Subject: [PATCH] Add support for Dev Containers/Codespaces (#1160) --- .devcontainer/Dockerfile | 14 ++++++++++++++ .devcontainer/devcontainer.json | 12 ++++++++++++ .devcontainer/post-create.sh | 13 +++++++++++++ DEVELOPMENT.md | 10 ++++++++++ 4 files changed, 49 insertions(+) create mode 100644 .devcontainer/Dockerfile create mode 100644 .devcontainer/devcontainer.json create mode 100755 .devcontainer/post-create.sh diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile new file mode 100644 index 00000000..ca031c11 --- /dev/null +++ b/.devcontainer/Dockerfile @@ -0,0 +1,14 @@ +#syntax=docker/dockerfile:1.6 + +FROM mcr.microsoft.com/vscode/devcontainers/python:3.12 + +RUN <