Revision of devcontainer.json

1 file changed, 5 insertions, 1 deletion

devcontainer.json

			@@ -3,4 +3,8 @@
3	3		"containerUser": "xxx",
4	4		"workspaceMount": "source=${localWorkspaceFolder},target=/workspace,type=bind,Z",
5	5		"workspaceFolder": "/workspace",
6		-	"runArgs": ["--userns=keep-id"]
	6	+	"runArgs": ["--userns=keep-id"]
	7	+
	8	+	// For rootless podman, root inside container:
	9	+	"workspaceMount": "source=${localWorkspaceFolder},target=/workspace,type=bind,Z",
	10	+	"workspaceFolder": "/workspace"

1 file changed, 5 insertions, 3 deletions

devcontainer.json

			@@ -1,4 +1,6 @@
1	1		// ...
2		-	"remoteUser": "xxx",
3		-	"containerUser": "xxx",
4		-	"runArgs": ["--userns=keep-id"]
	2	+	"remoteUser": "xxx",
	3	+	"containerUser": "xxx",
	4	+	"workspaceMount": "source=${localWorkspaceFolder},target=/workspace,type=bind,Z",
	5	+	"workspaceFolder": "/workspace",
	6	+	"runArgs": ["--userns=keep-id"]

1 file changed, 3 insertions, 3 deletions

devcontainer.json

1 file changed, 1 insertion, 1 deletion

devcontainer.json

1 file changed, 4 insertions

devcontainer.json(file created)