Commit d157e169 authored by sebastien letort's avatar sebastien letort

Pylint integration with pylint-django plugin.

Note that pylint will store its metrics in the metrics directory, through the PYLINTHOME env variable.

The command to launch "from outside":
docker exec -i dev-django pylint3 --rcfile=.pylintrc allgo
parent 7e28d952
This diff is collapsed.
......@@ -10,7 +10,8 @@ RUN apt-getq update && apt-getq install \
python-mysqldb python3-crypto gunicorn3 python3-redis python-mysqldb \
python3-crypto python3-natsort python3-aiohttp python3-aioredis supervisor \
python3-ipy python3-django-taggit python3-iso8601 python3-robot-detection \
python3-sqlparse
python3-sqlparse \
python3-pylint-django
COPY requirements.txt /tmp/
RUN cd /tmp && pip3 install -r requirements.txt && rm requirements.txt
......@@ -22,6 +23,7 @@ USER allgo
WORKDIR /opt/allgo
LABEL dk.migrate_always=1
ENV PYTHONUNBUFFERED 1
ENV PYLINTHOME /opt/allgo_metrics
# NOTE: we use SIGINT instead of SIGTERM because the django server does not
# catch SIGTERM (while gunicorn catches both SIGTERM & SIGINT)
......
......@@ -27,6 +27,7 @@ services:
volumes:
- "/data/dev/django:/vol"
- "./django:/opt/allgo"
- "./metrics:/opt/allgo_metrics"
networks: [dev]
tty: true
stdin_open: true
......
This directory will get the metrics from django pylint.
And this file aims to make the directory committed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment