Adding upstream version 0.13.0.upstream/0.13.0

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

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]"