Skip to content

Commit e8e2c34

Browse files
authored
Uninstall conflicting lint tools (#133)
1 parent 22d6769 commit e8e2c34

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

supervisor/Dockerfile

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,14 @@ ENV \
77

88
SHELL ["/bin/bash", "-o", "pipefail", "-c"]
99

10+
# Uninstall pre-installed formatting and linting tools
11+
# They would conflict with our pinned versions
12+
RUN \
13+
pipx uninstall pydocstyle \
14+
&& pipx uninstall pycodestyle \
15+
&& pipx uninstall mypy \
16+
&& pipx uninstall pylint
17+
1018
# Install tools
1119
RUN \
1220
apt-get update \

0 commit comments

Comments
 (0)