From 93ce3ce449d4fed77867026ce9b1fa3da37654a2 Mon Sep 17 00:00:00 2001 From: Ernesto Puerta Date: Thu, 16 Jun 2022 22:44:19 +0200 Subject: [PATCH] devcontainer: add support for Github CodeSpaces Let's try to improve the developer experience: https://docs.github.com/en/codespaces/getting-started/deep-dive Signed-off-by: Ernesto Puerta --- .devcontainer/devcontainer.json | 5 +++++ .devcontainer/postCreate.sh | 2 ++ 2 files changed, 7 insertions(+) create mode 100644 .devcontainer/devcontainer.json create mode 100644 .devcontainer/postCreate.sh diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 0000000000000..8cf6b07fdc337 --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,5 @@ +{ + "name": "Ceph Developer Environment", + "image": "quay.io/centos/centos:stream8", + "postCreateCommand": ".devcontainer/postCreate.sh", +} diff --git a/.devcontainer/postCreate.sh b/.devcontainer/postCreate.sh new file mode 100644 index 0000000000000..accdccdcb5d61 --- /dev/null +++ b/.devcontainer/postCreate.sh @@ -0,0 +1,2 @@ +#!/bin/bash +./do_cmake.sh && cd build && ninja -- 2.39.5