update devcontainer

jagapiou · Jul 29, 2023 · a283f0e · a283f0e
1 parent dfdd177
commit a283f0e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -26,3 +26,7 @@ RUN curl https://bootstrap.pypa.io/get-pip.py -o get-pip.py && python get-pip.py
 
 # Install setuptools.
 RUN pip install setuptools
+
+# Install meltingpot
+RUN cd workspace/meltingpot
+RUN pip install --editable [dev]
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -14,7 +14,6 @@
     // on large machines).
     "--shm-size=6gb"
   ],
-  "postCreateCommand": "pip install --editable .[dev]",
   "customizations": {
     "vscode": {
       "extensions": [