add vscode devcontainer config

rubenpieters · Dec 15, 2023 · 32ea94d · 32ea94d
1 parent 4a39504
commit 32ea94d
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,7 @@
+{
+	"name": "Docker development",
+	"build": {
+		"context": "..",
+		"dockerfile": "../Dockerfile"
+	}
+}
diff --git a/Dockerfile b/Dockerfile
@@ -2,3 +2,7 @@ FROM python:3.11.4-bookworm
 
 RUN apt-get update
 RUN apt-get -y install texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-fonts-extra latexmk
+RUN apt-get -y install php-cli php-dom
+
+ADD requirements.txt .
+RUN pip install -r requirements.txt