From 85a71000ebc615391199152e1627335519a660ec Mon Sep 17 00:00:00 2001
From: Tobias Diez <code@tobiasdiez.com>
Date: Sat, 14 May 2022 11:58:46 +0000
Subject: [PATCH] Add devcontainer for ubuntu

---
 .devcontainer/Dockerfile        |  6 ++++++
 .devcontainer/devcontainer.json | 11 +++++++++++
 .vscode/settings.json           |  3 +++
 3 files changed, 20 insertions(+)
 create mode 100644 .devcontainer/Dockerfile
 create mode 100644 .devcontainer/devcontainer.json

diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
new file mode 100644
index 00000000000..c47e122cf16
--- /dev/null
+++ b/.devcontainer/Dockerfile
@@ -0,0 +1,6 @@
+ARG VARIANT="jammy"
+FROM ghcr.io/sagemath/sage/sage-docker-ubuntu-${VARIANT}-standard-with-system-packages:dev
+
+# Install additional packages needed for devcontainer support in VS code
+RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \
+    && apt-get -y install --no-install-recommends gpgconf openssh-client
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 00000000000..58a523bac20
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,11 @@
+// For format details, see https://aka.ms/devcontainer.json.
+{
+	"name": "Ubuntu",
+	"build": {
+		"dockerfile": "Dockerfile",
+		// Update 'VARIANT' to pick an Ubuntu version: hirsute, focal, bionic, xenial, trusty, etc.
+		"args": { "VARIANT": "jammy" }
+	},
+	// Run commands after the container is started.
+	"postStartCommand": "configure && make build"
+}
diff --git a/.vscode/settings.json b/.vscode/settings.json
index 5844f80998f..f082066703e 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -19,4 +19,7 @@
         "src"
     ],
     "python.testing.unittestEnabled": false,
+    "cSpell.words": [
+        "sagemath"
+    ],
 }