summaryrefslogtreecommitdiffstats
path: root/.devcontainer/Dockerfile
diff options
context:
space:
mode:
authorAndrea Censi <acensi@ethz.ch>2022-02-27 13:07:33 +0100
committerAndrea Censi <acensi@ethz.ch>2022-02-27 13:07:33 +0100
commit1987cc7f22a139fbd2ead1223ab878cddccd3f96 (patch)
treef39d87b3ecbce3d8b28e65fee02eafbeea4c167b /.devcontainer/Dockerfile
parentmore exercises (diff)
downloadact4e-1987cc7f22a139fbd2ead1223ab878cddccd3f96.tar.gz
act4e-1987cc7f22a139fbd2ead1223ab878cddccd3f96.zip
fix
Diffstat (limited to '.devcontainer/Dockerfile')
-rw-r--r--.devcontainer/Dockerfile15
1 files changed, 12 insertions, 3 deletions
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
index f50f4d2..120994e 100644
--- a/.devcontainer/Dockerfile
+++ b/.devcontainer/Dockerfile
@@ -10,9 +10,8 @@ RUN if [ "${NODE_VERSION}" != "none" ]; then su vscode -c "umask 0002 && . /usr/
RUN pip3 --disable-pip-version-check --no-cache-dir install -U pip pre-commit
-
# [Optional] If your pip requirements rarely change, uncomment this section to add them to the image.
-COPY requirements.txt /tmp/pip-tmp/
+COPY .devcontainer/requirements.txt /tmp/pip-tmp/
RUN pip3 --disable-pip-version-check --no-cache-dir install -r /tmp/pip-tmp/requirements.txt \
&& rm -rf /tmp/pip-tmp
@@ -21,4 +20,14 @@ RUN pip3 --disable-pip-version-check --no-cache-dir install -r /tmp/pip-tmp/requ
# && apt-get -y install --no-install-recommends <your-package-list-here>
# [Optional] Uncomment this line to install global node packages.
-# RUN su vscode -c "source /usr/local/share/nvm/nvm.sh && npm install -g <your-package-here>" 2>&1 \ No newline at end of file
+# RUN su vscode -c "source /usr/local/share/nvm/nvm.sh && npm install -g <your-package-here>" 2>&1
+
+COPY .devcontainer/act4e-check /usr/local/bin
+RUN chmod +x /usr/local/bin/act4e-check
+
+
+COPY src src
+COPY setup.py .
+
+RUN python3 -m pip install -e .
+