From 8130c05ccc55b100fb1e73289619affda7dbde87 Mon Sep 17 00:00:00 2001
From: henning mueller <mail@nning.io>
Date: Thu, 29 Sep 2022 04:10:06 +0200
Subject: [PATCH] Mount devcontainer workspace SELinux compatible (#1816)

---
 .devcontainer/devcontainer.json | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 5183903a..e2a70cf1 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -10,10 +10,12 @@
 			"NODE_VERSION": "v16"
 		}
 	},
+	"workspaceMount": "",
 	"runArgs": [
 		"--cap-add=SYS_PTRACE",
 		"--security-opt",
-		"seccomp=unconfined"
+		"seccomp=unconfined",
+		"--volume=${localWorkspaceFolder}:/workspaces/${localWorkspaceFolderBasename}:Z"
 	],
 	// Set *default* container specific settings.json values on container create.
 	"settings": {