From a8098903cd39114b4daeae2311f3f517566105d7 Mon Sep 17 00:00:00 2001
From: Edward Thomson <ethomson@edwardthomson.com>
Date: Sun, 10 May 2020 17:04:54 +0100
Subject: .devcontainer: settings for a codespace workflow

Add devcontainer settings for running within a codespace.
---
 .devcontainer/devcontainer.json | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .devcontainer/devcontainer.json

(limited to '.devcontainer/devcontainer.json')

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 000000000..2731eabd3
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,3 @@
+{
+  "postCreateCommand": "sudo apt-get update && sudo apt-get -y --no-install-recommends install cmake"
+}
-- 
cgit v1.2.1