From 270fe39260d18199e358d513b5d8b5816fe74e1c Mon Sep 17 00:00:00 2001 From: zhiqiang feng Date: Tue, 20 Feb 2024 09:53:30 +0000 Subject: [PATCH] Add SSH mount in devcontainer.json --- .devcontainer/devcontainer.json | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index b91363f4..85fe534b 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -38,7 +38,10 @@ "installMaven": true, "installGradle": false } - } + }, + "mounts": [ + "type=bind,source=/home/${localEnv:USER}/.ssh,target=/root/.ssh,readonly" + ] // Use 'forwardPorts' to make a list of ports inside the container available locally. // "forwardPorts": [],