From 48d99989d37a0f945fd73de84c0986a60450be3b Mon Sep 17 00:00:00 2001 From: Nils Dijk Date: Thu, 5 May 2022 15:10:36 +0000 Subject: [PATCH] automatically configure the repository --- .devcontainer/devcontainer.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 230801ed8..18dd1a3b1 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -12,5 +12,6 @@ ], "mounts": [ "type=volume,target=/data", - ] + ], + "updateContentCommand": "./configure" }