Add devcontainer

webis-de · Jul 30, 2024 · 4212946 · 4212946
1 parent b2c33f9
commit 4212946
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/.devcontainer.json b/.devcontainer.json
@@ -0,0 +1,14 @@
+{
+    "build": {"dockerfile": "Dockerfile.dev"},
+    "customizations": {
+        "vscode": {
+          "extensions": [
+              "ms-python.python",
+              "ms-python.vscode-pylance",
+              "ms-toolsai.jupyter",
+              "ms-toolsai.datawrangler",
+              "ms-azuretools.vscode-docker"
+          ]
+        }
+    }
+}
diff --git a/Dockerfile.dev b/Dockerfile.dev
@@ -0,0 +1,6 @@
+FROM webis/ir_axioms:latest
+
+RUN cd /workspace/ && \
+	rm -R build/ LICENSE README.md ir_axioms* scripts/ tests/ \
+	&& /venv/bin/pip3 install -e .[test]
+