318:1c0790b558b7
Anton Shestakov <av6@dwimlabs.net>, Sun, 15 Oct 2017 09:55:04 +0800
linters: add shellcheck (installed from repos), it's useful in some cases

next change 342:ef5986aad0ff
previous change 138:0e226445b215

check-in-docker.sh

Permissions: -rwxr-xr-x

Other formats: Feeds:
#!/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