Use install.sh in devcontainer

PiperOrigin-RevId: 705650498 Change-Id: I690626e43e97dc59e51d290950385c2c19f4b7c2
google-deepmind · Dec 12, 2024 · 8e45ed2 · 8e45ed2
1 parent a64e684
commit 8e45ed2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 27 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -14,7 +14,7 @@
     // on large machines).
     "--shm-size=6gb"
   ],
-  "postCreateCommand": ".devcontainer/setup.sh",
+  "postCreateCommand": "bin/install.sh",
   "customizations": {
     "vscode": {
       "extensions": [

diff --git a/.devcontainer/setup.sh b/.devcontainer/setup.sh