Update devcontainer.json

GeQi · Apr 14, 2024 · fd40a92 · fd40a92
1 parent 1ab8086
commit fd40a92
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -7,9 +7,7 @@
 		"dockerfile": "Dockerfile"
 	},
 
-	"onCreateCommand": "lake exe cache get && lake build",
-
-	"postStartCommand": "git config --global --add safe.directory ${containerWorkspaceFolder}",
+	"onCreateCommand": "git config --global --add safe.directory ${containerWorkspaceFolder} && lake exe cache get && lake build",
 
 	"customizations": {
 		"vscode" : {