public-mirrors/docker-php-extension-installer
1
0
Fork 0
mirror of https://github.com/mlocati/docker-php-extension-installer synced 2025-05-08 16:17:20 +00:00
Code Activity

Add lint script

Browse source 
Co-authored-by: Michele Locati <michele@locati.it>
Co-authored-by: Quan TRAN <itscaro@users.noreply.github.com>
This commit is contained in:
Michele Locati 2019-12-20 18:26:26 +01:00
parent 0f552e12a4
commit 04989ff86d
No known key found for this signature in database
GPG key ID: 98B7CE2E7234E28B
6 changed files with 76 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

30
scripts/lint Executable file
View file

@ -0,0 +1,30 @@
#!/bin/sh
set -o errexit
set -o nounset
if ! docker --version >/dev/null 2>/dev/null; then
printf 'Docker is not installed, or it is not running\n' >&2
exit 1
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
fix() {
printf 'Fixing %s... ' "$1"
if docker run --rm -v "$SRC_DIR:/src" -w /src docker-php-extension-installer-shfmt:latest shfmt -s -ln posix -i 0 -ci -kp -w "$1"; then
printf 'done.\n'
fi
}
fix install-php-extensions
fix scripts/common
fix scripts/lint
fix scripts/travisci-test-extensions
fix scripts/travisci-update-readme
fix scripts/update-readme