diff --git a/.docker/Dockerfile b/.docker/Dockerfile index dd4f3d258443dc1f8b2bacb8d535780e8e37e5e8..52406ccba606c6287a0f953fe3a2ac37d97b51c1 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -6,6 +6,7 @@ RUN apt-get update && \ openjdk-11-jdk-headless \ python3-autopep8 \ python3-pip \ + python3-pylint \ python3-pytest \ python3-sphinx \ tox \