diff options
author | Andrea Censi <acensi@ethz.ch> | 2022-02-22 14:09:51 +0100 |
---|---|---|
committer | Andrea Censi <acensi@ethz.ch> | 2022-02-22 14:10:39 +0100 |
commit | c9c95b13effa1840b921a0606936510d7eafa611 (patch) | |
tree | 9597478c419420a1359b1dc582a6c9325b5fd822 /.devcontainer | |
parent | Update README.md (diff) | |
download | act4e-c9c95b13effa1840b921a0606936510d7eafa611.tar.gz act4e-c9c95b13effa1840b921a0606936510d7eafa611.zip |
updates
Diffstat (limited to '')
-rw-r--r-- | .devcontainer/Dockerfile | 3 | ||||
-rw-r--r-- | .devcontainer/devcontainer.json | 4 |
2 files changed, 5 insertions, 2 deletions
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 86dee1b..f50f4d2 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -8,6 +8,9 @@ FROM mcr.microsoft.com/vscode/devcontainers/python:0-${VARIANT} ARG NODE_VERSION="none" RUN if [ "${NODE_VERSION}" != "none" ]; then su vscode -c "umask 0002 && . /usr/local/share/nvm/nvm.sh && nvm install ${NODE_VERSION} 2>&1"; fi +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/ RUN pip3 --disable-pip-version-check --no-cache-dir install -r /tmp/pip-tmp/requirements.txt \ diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 626e731..c3fc20e 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -18,8 +18,8 @@ // Set *default* container specific settings.json values on container create. "settings": { "python.defaultInterpreterPath": "/usr/local/bin/python", - "python.linting.enabled": false, - "python.linting.pylintEnabled": false, + "python.linting.enabled": true, + "python.linting.pylintEnabled": true, "python.formatting.autopep8Path": "/usr/local/py-utils/bin/autopep8", "python.formatting.blackPath": "/usr/local/py-utils/bin/black", "python.formatting.yapfPath": "/usr/local/py-utils/bin/yapf", |