From 56854a4394a534f6b694180b7d7cd3ff17bf8a59 Mon Sep 17 00:00:00 2001
From: Andri Joos <andri@joos.io>
Date: Fri, 1 Nov 2024 00:29:16 +0100
Subject: [PATCH] add devcontainer.json
---
.devcontainer/devcontainer.json | 23 +++++++++++++++++++++++
1 file changed, 23 insertions(+)
create mode 100644 .devcontainer/devcontainer.json
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 0000000..5426f91
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,23 @@
+{
+ "name": "Python",
+ "workspaceFolder": "/workdir",
+ "workspaceMount": "source=${localWorkspaceFolder},target=/workdir,type=bind,consistency=delegated",
+ "remoteUser": "vscode",
+ "image": "andrijoos/devcontainer-python:3-bookworm",
+ "customizations": {
+ "vscode": {
+ "extensions": [
+ "ms-python.python",
+ "tamasfe.even-better-toml"
+ ]
+ }
+ },
+ "containerEnv": {
+ "SHELL": "/bin/bash",
+ "MPLBACKEND": "Agg"
+ },
+ "remoteEnv": {
+ "PATH": "/home/vscode/.local/bin:${containerEnv:PATH}"
+ },
+ "postStartCommand": "pip install -e ."
+}
--
GitLab