From 533b8b39e2aa2e86f4e583f216ad1f17cf2f8e2e Mon Sep 17 00:00:00 2001
From: Dom Rodriguez <shymega@shymega.org.uk>
Date: Tue, 3 Jan 2023 20:47:48 +0000
Subject: [PATCH] Initial commit for the Development Container config

This commit adds a .devcontainer directory, with the Dockerfile in the
configuration told to use the Dockerfile in the parent directory.

Using Development Containers means the environment is reproducible on
developer machines,
and reduces the barrier to entry for development. It also allows GitHub
Codespaces to be used.

Signed-off-by: Dom Rodriguez <shymega@shymega.org.uk>
---
 .devcontainer/devcontainer.json | 16 ++++++++++++++++
 .gitignore                      |  1 +
 2 files changed, 17 insertions(+)
 create mode 100644 .devcontainer/devcontainer.json

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 0000000..7ae440c
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,16 @@
+{
+	"name": "Open PineBuds Pro - VS Code Development Environment",
+	"build": {
+		"dockerfile": "../Dockerfile",
+		"context": ".."
+	},
+	"extensions": [
+		"ms-vscode.cmake-tools",
+		"ms-vscode.cpptools"
+	],
+	"runArgs": [
+		"--privileged"
+	],
+	"userEnvProbe": "loginInteractiveShell",
+	"remoteUser": "root"
+}
\ No newline at end of file
diff --git a/.gitignore b/.gitignore
index 8804d5f..f4a742f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,6 +19,7 @@
 !.gitattributes
 !.mailmap
 !.github
+!.devcontainer
 
 # Backup files
 *~