Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
Y
yaxt
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Container Registry
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
dkrz-sw
yaxt
Commits
042cd217
Commit
042cd217
authored
3 years ago
by
Thomas Jahns
Browse files
Options
Downloads
Patches
Plain Diff
Add scripting for adding scripts/find-problem-sources.sh to pre-commit hook.
parent
314b84c3
No related branches found
Branches containing commit
No related tags found
Tags containing commit
No related merge requests found
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
scripts/find-problem-sources.sh
+31
-3
31 additions, 3 deletions
scripts/find-problem-sources.sh
scripts/pre-commit-hook
+50
-0
50 additions, 0 deletions
scripts/pre-commit-hook
with
81 additions
and
3 deletions
scripts/find-problem-sources.sh
+
31
−
3
View file @
042cd217
#! /bin/bash
declare
-a
c_files f90_files
read
-a
c_files
-d
''
-r
< <
(
find
.
!
-path
./config/checksrc/
\*
\
c_files
=()
f90_files
=()
function
add_file_to_category
()
{
case
$1
in
config/checksrc/
*
|
config/work/arounds/
*
|
include/cfortran.h
)
:
;;
*
.c|
*
.h
)
c_files+
=(
"
$1
"
)
;;
*
.f90
)
f90_files+
=(
"
$1
"
)
;;
esac
}
if
((
$#
==
0
))
;
then
read
-a
c_files
-d
''
-r
< <
(
find
.
!
-path
./config/checksrc/
\*
\
!
-path
./config/workarounds/
\*
\
!
-path
./include/cfortran.h
\
-type
f
\(
-name
\*
.c
-o
-name
\*
.h
\)
-print
)
read
-a
f90_files
-d
''
-r
< <
(
find
.
!
-path
./config/checksrc/
\*
\
-type
f
\(
-name
\*
.f90
\)
-print
)
elif
[[
$#
=
1
&&
x
"
$1
"
=
x-
]]
;
then
while
read
f
;
do
add_file_to_category
"
$f
"
done
else
for
f
in
"
$@
"
;
do
add_file_to_category
"
$f
"
done
fi
for
((
i
=
0
;
i <
${#
c_files
[@]
}
;
++i
))
;
do
f
=
${
c_files
[i]
}
declare
-i
problem_found
...
...
@@ -25,8 +55,6 @@ for ((i=0; i < ${#c_files[@]}; ++i)) ; do
i
=
$((
i-1
))
fi
done
read
-a
f90_files
-d
''
-r
< <
(
find
.
!
-path
./config/checksrc/
\*
\
-type
f
\(
-name
\*
.f90
\)
-print
)
for
((
i
=
0
;
i <
${#
f90_files
[@]
}
;
++i
))
;
do
f
=
${
f90_files
[i]
}
declare
-i
problem_found
...
...
This diff is collapsed.
Click to expand it.
scripts/pre-commit-hook
0 → 100755
+
50
−
0
View file @
042cd217
#! /bin/bash
#
# Git hook script for YAXT 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, execute
# ln -s scripts/pre-commit-hook .git/hooks/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 hooks.allownonascii
)
# 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'
)
"
then
echo
"Error: Attempt to add a non-ascii file name."
echo
echo
"This can cause problems if you want to work"
echo
"with people on other platforms."
echo
echo
"To be portable it is advisable to rename the file ..."
echo
echo
"If you know what you are doing you can disable this"
echo
"check using:"
echo
echo
" git config hooks.allownonascii true"
echo
exit
1
fi
git diff-index
--name-only
-r
$against
| scripts/find-problem-sources.sh
# check for whitespace errors
exec
git diff-index
--check
--cached
$against
--
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
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!
Save comment
Cancel
Please
register
or
sign in
to comment