public-mirrors/docker-php-extension-installer
1
0
Fork 0
mirror of https://github.com/mlocati/docker-php-extension-installer synced 2025-05-09 00:22:40 +00:00
Code Activity

Use official shfmt docker image

Browse source
This commit is contained in:
Michele Locati 2019-12-20 19:10:33 +01:00
parent e5541c42a5
commit 5f6fbb81fc
No known key found for this signature in database
GPG key ID: 98B7CE2E7234E28B
3 changed files with 2 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

7
scripts/lint
View file

@ -10,12 +10,7 @@ fi
SRC_DIR="$(CDPATH= cd -- "$(dirname -- "$0")" && cd .. pwd)"
if ! docker build -t docker-php-extension-installer-shfmt:latest -f scripts/Dockerfile-shfmt -q .; then
printf 'ERROR!' >&2
exit 1
fi
if ! docker run --rm -v "$SRC_DIR:/src" -w /src docker-php-extension-installer-shfmt:latest ./scripts/invoke-shfmt fix; then
if ! docker run --rm -v "$SRC_DIR:/src" -w /src --entrypoint /src/scripts/invoke-shfmt mvdan/shfmt:latest fix; then
printf 'ERROR!' >&2
exit 1
fi