From 5d6166a49f59bd18a74252f9cd912cdf16899ef3 Mon Sep 17 00:00:00 2001 From: Allen Porter Date: Tue, 2 Jan 2024 07:29:45 -0800 Subject: [PATCH] Update devcontainer.json Update devcontainer, leaving mounts for user to setup allow mounting in codespaces. --- .devcontainer/devcontainer.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index d5e4b176..f0a2f26a 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -7,7 +7,7 @@ // Creates a local volume where you the developer need to clone the git // repo inside the container. Uses a local volume since this project // relies heavily on local disk performance. - "workspaceMount": "source=flux-local,target=/workspaces,type=volume", - "workspaceFolder": "/workspaces/", - "postCreateCommand": "chown vscode /workspaces", + //"workspaceMount": "source=flux-local,target=/workspaces,type=volume", + //"workspaceFolder": "/workspaces/", + //"postCreateCommand": "chown vscode /workspaces", }