From cd15c0f0816d9f544303be77eeb2eadf058303e0 Mon Sep 17 00:00:00 2001 From: Kat Morgan Date: Wed, 10 Jan 2024 14:31:10 -0800 Subject: [PATCH] add example makefile for maintaining devcontainer (#31) --- Makefile.example | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 Makefile.example diff --git a/Makefile.example b/Makefile.example new file mode 100644 index 0000000..6526ac1 --- /dev/null +++ b/Makefile.example @@ -0,0 +1,5 @@ +devcontainer:: + git submodule update --init --recursive .devcontainer + git submodule update --remote --merge .devcontainer + rm -rf .devcontainer.json + cp .devcontainer/devcontainer.json .devcontainer.json