From 43b7cf23d9e499eb4588ac051489c694a2f3fee8 Mon Sep 17 00:00:00 2001 From: Matthew Feickert Date: Fri, 14 Jul 2023 01:02:48 -0500 Subject: [PATCH 1/2] feat: Add devcontainer config * Add devcontainer config using the pyhf Dockerfile. - c.f. https://containers.dev/ --- .devcontainer/devcontainer.json | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 .devcontainer/devcontainer.json diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 0000000000..86f558051e --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,24 @@ +{ + "name": "pyhf-devcontainer", + "build": { + "context": "..", + "dockerfile": "../docker/Dockerfile" + }, + "features": { + "ghcr.io/devcontainers/features/git:1": {} + }, + + "customizations": { + "vscode": { + "settings": { + "python.defaultInterpreterPath": "/opt/venv/bin/python" + }, + "extensions": [ + "ms-python.python", + "ms-toolsai.jupyter", + "GitHub.codespaces", + "ms-vscode-remote.remote-containers" + ] + } + } +} From 8daec082d4c2b2933e0f5d8a04568d3256f49a1f Mon Sep 17 00:00:00 2001 From: Matthew Feickert Date: Sat, 15 Jul 2023 14:24:55 -0500 Subject: [PATCH 2/2] Remove unused extensions --- .devcontainer/devcontainer.json | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 86f558051e..1640f58a37 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -15,9 +15,7 @@ }, "extensions": [ "ms-python.python", - "ms-toolsai.jupyter", - "GitHub.codespaces", - "ms-vscode-remote.remote-containers" + "ms-toolsai.jupyter" ] } }