From 1d8d4b69c499c6eaffda43db4207e149d3df77d7 Mon Sep 17 00:00:00 2001
From: Neil-Jocelyn Schark <neil.schark@h-da.de>
Date: Fri, 27 Oct 2023 12:33:07 +0000
Subject: [PATCH] Prefix dev container volumes with goSDN
See merge request danet/gosdn!588
---
.devcontainer/devcontainer.json | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 04456ca25..156d58fc6 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -34,10 +34,11 @@
},
"mounts": [
// Source: https://github.com/microsoft/vscode-remote-release/issues/5823
- // Creates a named volume `vscode-home-dir` mounted to /home/vscode. Survives a rebuild.
+ // Creates a named volume `gosdn-vscode-home-dir` mounted to /home/vscode. Survives a rebuild.
+ // Creates a named volume `gosdn-docker-root-config` mounted to /root/.docker. Survives a rebuild.
// Creates an anonymous volume mounted to /home/vscode/.vscode-server. Gets destroyed on rebuild, which allows vscode to reinstall the extensions and dotfiles.
- "source=vscode-home-dir,target=/home/vscode,type=volume",
- "source=docker-root-config,target=/root/.docker,type=volume",
- "target=/home/vscode/.vscode-server,type=volume",
+ "source=gosdn-vscode-home-dir,target=/home/vscode,type=volume",
+ "source=gosdn-docker-root-config,target=/root/.docker,type=volume",
+ "target=/home/vscode/.vscode-server,type=volume"
]
}
--
GitLab