diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/etc/pre-commit.sh (renamed from src/tools/install-git-hook/src/pre-commit.sh) | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/src/tools/install-git-hook/src/pre-commit.sh b/src/etc/pre-commit.sh index f47ca3e039a..32af70ec8d4 100755 --- a/src/tools/install-git-hook/src/pre-commit.sh +++ b/src/etc/pre-commit.sh @@ -1,12 +1,16 @@ -#!/bin/sh +#!/bin/env bash # # Call `tidy --bless` before each commit +# Copy this scripts to .git/hooks to activate, +# and remove it from .git/hooks to deactivate. # -# To enable this hook, run `./x.py run install-git-hook`. -# To disable it, run `./x.py run install-git-hook --remove` +# For help running bash scripts on Windows, +# see https://stackoverflow.com/a/6413405/6894799 +# + set -Eeuo pipefail -ROOT_DIR=$(git rev-parse --show-toplevel); +ROOT_DIR="$(git rev-parse --show-toplevel)"; COMMAND="$ROOT_DIR/x.py test tidy --bless"; if [[ "$OSTYPE" == "msys" || "$OSTYPE" == "win32" ]]; then |