Update devcontainer.json

GeQi · Apr 14, 2024 · 1ab8086 · 1ab8086
1 parent f499da8
commit 1ab8086
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -8,6 +8,8 @@
 	},
 
 	"onCreateCommand": "lake exe cache get && lake build",
+
+	"postStartCommand": "git config --global --add safe.directory ${containerWorkspaceFolder}",
 
 	"customizations": {
 		"vscode" : {