Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
dmt
Commits
6229f8da
Commit
6229f8da
authored
Jun 25, 2016
by
Thanassis Tsiodras
Browse files
Now using git pre-commit hook
parent
78ea9c98
Changes
2
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
6229f8da
...
...
@@ -9,7 +9,7 @@ flake8:
pylint
:
@
echo
Performing static analysis via pylint...
@
pylint
--disable
=
I
--rcfile
=
pylint.cfg
${PY_SRC}
@
pylint
--disable
=
I
--rcfile
=
pylint.cfg
${PY_SRC}
|
sed
-n
'/^Report/q;p'
mypy
:
@
echo
Performing
type
analysis via mypy...
...
...
git-commit-hook/pre-commit
0 → 100755
View file @
6229f8da
#!/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
=
4b825dc642cb6eb9a060e54bf8d69288fbee4904
fi
# If you want to allow non-ASCII filenames set this variable to true.
allownonascii
=
$(
git config
--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
--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
make flake8
||
exit
1
make pylint
||
exit
1
# If there are whitespace errors, print the offending file names and fail.
exec
git diff-index
--check
--cached
$against
--
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment