fix: devcontainer-docker bad default directory (#12453)

This commit is contained in:
Alessandro Varesi
2024-03-11 16:56:41 +03:00
committed by GitHub
parent cef632b1fb
commit 5e9bf31229
@@ -28,7 +28,7 @@ resource "coder_agent" "main" {
curl -fsSL https://code-server.dev/install.sh | sh -s -- --method=standalone --prefix=/tmp/code-server --version 4.11.0
/tmp/code-server/bin/code-server --auth none --port 13337 >/tmp/code-server.log 2>&1 &
EOT
dir = "/worskpaces"
dir = "/workspaces"
# These environment variables allow you to make Git commits right away after creating a
# workspace. Note that they take precedence over configuration defined in ~/.gitconfig!