142:41d0a4c7376a
Anton Shestakov <av6@dwimlabs.net>, Sat, 16 Jul 2016 21:07:54 +0800
checker: print requested linters without duplicates Also, some linters could come preinstalled (compiled, as distro packages), so they don't necessarily need to be installed.
next change 342:ef5986aad0ff
previous change 138:0e226445b215

check-in-docker.sh

Permissions: -rwxr-xr-x

File Latest Revisions Annotate Diff Comparison
Other formats:
JSON Raw
Feeds:
Atom RSS 
#!/bin/sh
set -eu
(
    cat dockerfiles/ubuntu-xenial
    echo 'WORKDIR /mnt'
) | docker build --tag candolint-checker - 1>&2
docker run --rm -u worker -v "$PWD":/mnt:ro candolint-checker \
    python -u checker.py "$@" 2>&1