From 32ea94da9e8e0c6490f4c4513048f503a7533905 Mon Sep 17 00:00:00 2001
From: rubenpieters <rubenpietersgithub@gmail.com>
Date: Fri, 15 Dec 2023 22:30:00 +0100
Subject: [PATCH] add vscode devcontainer config

---
 .devcontainer/devcontainer.json | 7 +++++++
 Dockerfile                      | 4 ++++
 2 files changed, 11 insertions(+)
 create mode 100644 .devcontainer/devcontainer.json

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 0000000..bd07f03
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,7 @@
+{
+	"name": "Docker development",
+	"build": {
+		"context": "..",
+		"dockerfile": "../Dockerfile"
+	}
+}
diff --git a/Dockerfile b/Dockerfile
index f20d82c..a909ec4 100644
--- 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