From 5c5e73e2a9c925d9a9cfadeaa94611e50b1150ad Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Wed, 28 Feb 2024 01:50:07 +0000
Subject: [PATCH] Add forgotten Dockerfile

---
 .devcontainer/Dockerfile | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 .devcontainer/Dockerfile

diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
new file mode 100644
index 0000000..6e44e7a
--- /dev/null
+++ b/.devcontainer/Dockerfile
@@ -0,0 +1,7 @@
+FROM registry.gitlab.com/lukenaylor/latex/sage-tex-chroma-image:latest
+
+# Add the tree-sitter parser for Rust
+RUN git clone --depth=1 --branch v0.20.4 https://github.com/tree-sitter/tree-sitter-rust.git /root/src/tree-sitter-rust
+# Install the pseudowalls sage package
+RUN sage -pip install pseudowalls --extra-index-url https://gitlab.com/api/v4/projects/43962374/packages/pypi/simple
+
-- 
GitLab