diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index ed158d3..3446ec4 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -15,7 +15,7 @@
     "npm_install": "(cd ~/lean4game && npm install)",
     "lake_build": "(cd ~/game && lake clean && lake exe cache get && lake build)"
   },
-  "postAttachCommand": "cd ~/lean4game && npm start",
+  "postStartCommand": "cd ~/lean4game && export LEAN4GAME_SINGLE_GAME=true && npm start",
   "customizations": {
     "vscode": {
       "settings": {
diff --git a/.vscode/tasks.json b/.vscode/tasks.json
index 2801010..fc70f71 100644
--- a/.vscode/tasks.json
+++ b/.vscode/tasks.json
@@ -25,7 +25,7 @@
       "id": "openSimpleBrowser",
       "type": "command",
       "command": "simpleBrowser.show",
-      "args": ["http://localhost:3000/#/g/local/game"]
+      "args": ["http://localhost:3000"]
     }
   ]
 }