178:290623d1275c
Anton Shestakov <av6@dwimlabs.net>, Sun, 24 Jul 2016 09:08:17 +0800
checker: set some essential environment variables early

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