diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2022-12-03 19:10:10 +0100 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2022-12-03 19:20:07 +0100 |
commit | e23958ba3b639a24f59c32a018efdbaddd4ca98b (patch) | |
tree | 376351d2c130bb5bea8f4ab2da1b5e6afc7b3e1c /scripts/pre-commit | |
parent | fix preludes in bash scripts (diff) | |
download | cimple-e23958ba3b639a24f59c32a018efdbaddd4ca98b.tar.gz cimple-e23958ba3b639a24f59c32a018efdbaddd4ca98b.zip |
make .gitattributes more consistent
Diffstat (limited to 'scripts/pre-commit')
-rwxr-xr-x | scripts/pre-commit | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/scripts/pre-commit b/scripts/pre-commit deleted file mode 100755 index 8a98a0e..0000000 --- a/scripts/pre-commit +++ /dev/null @@ -1,22 +0,0 @@ -#!/usr/bin/env bash - -set -o errexit -o nounset -o pipefail -shopt -s inherit_errexit lastpipe - -if ! command -v git-clang-format &> /dev/null; then - echo "Please make sure git-clang-format is available." >&2 - exit 1 -fi - -output="$( git clang-format --style file --diff )" - -ok1='no modified files to format' -ok2='clang-format did not modify any files' - -if [ "$output" != "$ok1" ] && [ "$output" != "$ok2" ]; then - echo "$output" - echo - echo 'clang-format required some formatting fixes.' - echo 'Please stage your changes, run `git clang-format`, review the formatting fixes, and commit.' - exit 1 -fi |