summaryrefslogtreecommitdiffstats
path: root/.devcontainer
diff options
context:
space:
mode:
Diffstat (limited to '.devcontainer')
-rw-r--r--.devcontainer/devcontainer.json39
-rw-r--r--.devcontainer/startup.sh13
2 files changed, 52 insertions, 0 deletions
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 0000000..80633ca
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,39 @@
+// For format details, see https://aka.ms/devcontainer.json. For config options, see the
+// README at: https://github.com/devcontainers/templates/tree/main/src/python
+{
+ "name": "Python 3",
+ // Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
+ "image": "mcr.microsoft.com/devcontainers/python:1-3.11-bookworm",
+ "features": {
+ "ghcr.io/devcontainers/features/github-cli:1": {},
+ "ghcr.io/devcontainers-contrib/features/direnv:1": {},
+ "ghcr.io/devcontainers-contrib/features/pre-commit:2": {}
+ },
+
+ // Configure tool-specific properties.
+ "customizations": {
+ "vscode": {
+ "settings": {},
+ "extensions": [
+ "ms-python.black-formatter",
+ "ms-python.isort",
+ "formulahendry.github-actions",
+ "matangover.mypy",
+ "ms-python.mypy-type-checker",
+ "ms-python.pylint",
+ "LittleFoxTeam.vscode-python-test-adapter",
+ "njqdev.vscode-python-typehint",
+ "hbenl.vscode-test-explorer"
+ ]
+ }
+ },
+
+ // Use 'forwardPorts' to make a list of ports inside the container available locally.
+ // "forwardPorts": [],
+
+ // Use 'postCreateCommand' to run commands after the container is created.
+ "postCreateCommand": "bash .devcontainer/startup.sh"
+
+ // Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
+ // "remoteUser": "root"
+}
diff --git a/.devcontainer/startup.sh b/.devcontainer/startup.sh
new file mode 100644
index 0000000..fb9f6f1
--- /dev/null
+++ b/.devcontainer/startup.sh
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+# echo "Configure direnv"
+# echo "eval \"$(direnv hook bash)\"" >> ~/.bashrc
+
+echo "Upgrading pip"
+pip install --upgrade pip
+
+echo "Installing ANTA package from git"
+pip install -e .
+
+echo "Installing development tools"
+pip install -e ".[dev]"