From 8636950a922cc52a8a49cdeccdcb9a1bd5b76eba Mon Sep 17 00:00:00 2001 From: Dominic Reber Date: Wed, 21 Feb 2024 14:24:56 +0100 Subject: [PATCH] specify user --- .devcontainer/devcontainer.json | 1 + 1 file changed, 1 insertion(+) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 4c34db9af..81793e293 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -1,5 +1,6 @@ { "name": "control libraries", + "remoteUser": "developer", "build": { "dockerfile": "../Dockerfile", "context": "..",