From 06b677b4d9024e28b5190507fc172ccf2cc8fc47 Mon Sep 17 00:00:00 2001
From: Matthias Koeppe <mkoeppe@math.ucdavis.edu>
Date: Sun, 3 Mar 2024 15:49:10 -0800
Subject: [PATCH] .devcontainer/downstream-docker-sagemath-sagemath*: New

---
 .../devcontainer.json                          | 18 ++++++++++++++++++
 .../devcontainer.json                          | 18 ++++++++++++++++++
 2 files changed, 36 insertions(+)
 create mode 100644 .devcontainer/downstream-docker-sagemath-sagemath-develop/devcontainer.json
 create mode 100644 .devcontainer/downstream-docker-sagemath-sagemath/devcontainer.json

diff --git a/.devcontainer/downstream-docker-sagemath-sagemath-develop/devcontainer.json b/.devcontainer/downstream-docker-sagemath-sagemath-develop/devcontainer.json
new file mode 100644
index 00000000000..ba8b0752de4
--- /dev/null
+++ b/.devcontainer/downstream-docker-sagemath-sagemath-develop/devcontainer.json
@@ -0,0 +1,18 @@
+// See https://aka.ms/devcontainer.json for format details.
+{
+    "name": "sagemath/sagemath:develop Docker",
+    "image": "sagemath/sagemath:develop",
+    "containerEnv": {
+        "MAKE": "make -j4"
+    },
+    "onCreateCommand": ".devcontainer/onCreate.sh",
+    // * If the workspace directory looks like a copy of the Sage source tree (SAGE_ROOT):
+    //   - it bootstraps the Sage distribution,
+    //   - sets the symlink ``venv`` as expected,
+    // * Otherwise, it does nothing. This is so that users can copy this devcontainer.json file as is
+    //   into their projects.
+    "updateContentCommand": "if [ -d pkgs/sagemath-standard ]; then make configure && ./configure --prefix=/home/sage/sage/local --with-sage-venv; else echo 'Edit .devcontainer/devcontainer.json (updateContentCommand) to run project-specific startup commands'; fi",
+    "extensions": [
+        "ms-python.python"
+    ]
+}
diff --git a/.devcontainer/downstream-docker-sagemath-sagemath/devcontainer.json b/.devcontainer/downstream-docker-sagemath-sagemath/devcontainer.json
new file mode 100644
index 00000000000..266ac63fc68
--- /dev/null
+++ b/.devcontainer/downstream-docker-sagemath-sagemath/devcontainer.json
@@ -0,0 +1,18 @@
+// See https://aka.ms/devcontainer.json for format details.
+{
+    "name": "sagemath/sagemath Docker",
+    "image": "sagemath/sagemath",
+    "containerEnv": {
+        "MAKE": "make -j4"
+    },
+    "onCreateCommand": ".devcontainer/onCreate.sh",
+    // * If the workspace directory looks like a copy of the Sage source tree (SAGE_ROOT):
+    //   - it bootstraps the Sage distribution,
+    //   - sets the symlink ``venv`` as expected,
+    // * Otherwise, it does nothing. This is so that users can copy this devcontainer.json file as is
+    //   into their projects.
+    "updateContentCommand": "if [ -d pkgs/sagemath-standard ]; then make configure && ./configure --prefix=/home/sage/sage/local --with-sage-venv; else echo 'Edit .devcontainer/devcontainer.json (updateContentCommand) to run project-specific startup commands'; fi",
+    "extensions": [
+        "ms-python.python"
+    ]
+}