blob: 3e6ccb17eed94c36855c39c81a542a5c7d1a320a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
#!/usr/bin/sh
#
# An example hook script to verify what is about to be committed.
# Called by "git commit" with no arguments. The hook should
# exit with non-zero status after issuing an appropriate message if
# it wants to stop the commit.
#
# To enable this hook, rename this file to "pre-commit".
# if git rev-parse --verify HEAD >/dev/null 2>&1
# then
# against=HEAD
# else
# # Initial commit: diff against an empty tree object
# against=$(git hash-object -t tree /dev/null)
# fi
#
# # If you want to allow non-ASCII filenames set this variable to true.
# allownonascii=$(git config --type=bool hooks.allownonascii)
#
# # Redirect output to stderr.
# exec 1>&2
#
# # Cross platform projects tend to avoid non-ASCII filenames; prevent
# # them from being added to the repository. We exploit the fact that the
# # printable range starts at the space character and ends with tilde.
# if [ "$allownonascii" != "true" ] &&
# # Note that the use of brackets around a tr range is ok here, (it's
# # even required, for portability to Solaris 10's /usr/bin/tr), since
# # the square bracket bytes happen to fall in the designated range.
# test $(git diff-index --cached --name-only --diff-filter=A -z $against |
# LC_ALL=C tr -d '[ -~]\0' | wc -c) != 0
# then
# cat <<\EOF
# Error: Attempt to add a non-ASCII file name.
#
# This can cause problems if you want to work with people on other platforms.
#
# To be portable it is advisable to rename the file.
#
# If you know what you are doing you can disable this check using:
#
# git config hooks.allownonascii true
# EOF
# exit 1
# fi
#
# # If there are whitespace errors, print the offending file names and fail.
# exec git diff-index --check --cached $against --
set -x
black *.py
mypy --strict *.py
|