update devcontainer

jagapiou · Jul 29, 2023 · a824f1f · a824f1f
1 parent dfdd177
commit a824f1f
Showing 1 changed file with 4 additions and 0 deletions.
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]