From 01c73d79dc301f3285093b49d0300aa490ddbf0a Mon Sep 17 00:00:00 2001
From: "name@gmail.com" <email>
Date: Mon, 8 Jan 2024 12:16:47 +0000
Subject: [PATCH] Add devcontainer config
---
.devcontainer/devcontainer.json | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
create mode 100644 .devcontainer/devcontainer.json
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 0000000..2b5fd14
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,19 @@
+// .devcontainer/devcontainer.json
+{
+ "name": "LaTeX&SageTex Devcontainer",
+ "image": "registry.gitlab.com/lukenaylor/latex/sagetex-image:latest",
+ "postCreateCommand": "sage -pip install pseudowalls --extra-index-url https://gitlab.com/api/v4/projects/43962374/packages/pypi/simple",
+ "customizations": {
+ "vscode": {
+ "settings": {
+ "terminal.integrated.shell.linux": "/bin/bash"
+ },
+ "extensions": [
+ "james-yu.latex-workshop",
+ "microsoft.jupyter",
+ "ms-toolsai.jupyter",
+ "ms-python.python"
+ ]
+ }
+ }
+}
--
GitLab