mirror of
https://github.com/danog/docker-php-extension-installer.git
synced 2024-12-11 17:09:51 +01:00
22 lines
411 B
Batchfile
22 lines
411 B
Batchfile
@echo off
|
|
setlocal
|
|
|
|
docker --version >NUL 2>NUL
|
|
if errorlevel 1 goto :no-docker
|
|
|
|
cd /d "%~dp0.."
|
|
if errorlevel 1 goto err
|
|
set SRC_DIR=%CD%
|
|
|
|
docker run --rm -v "%SRC_DIR%:/src" -w /src --entrypoint /src/scripts/invoke-shfmt mvdan/shfmt:latest fix
|
|
if errorlevel 1 goto :err
|
|
goto :eof
|
|
|
|
:no-docker
|
|
echo Docker is not installed, or it's not running >&2
|
|
goto :eof
|
|
|
|
:err
|
|
echo ERROR! >&2
|
|
goto :eof
|