IssueID #1104: separated git hook from command script (so it can be run independently)

This commit is contained in:
Cyprian Laskowski
2020-02-21 20:44:39 +01:00
parent 47802a3577
commit d9eab477fd
3 changed files with 24 additions and 18 deletions

View File

@@ -1,23 +1,20 @@
#!/bin/bash
branch=`git rev-parse --abbrev-ref HEAD`
script_dir="$(dirname "$(readlink -f "$0")")"
cd $script_dir
if [[ $branch == "master" ]]; then
schema_dir=../resources/schema
example_dir=../examples
for example_subdir in $example_dir/*
schema_dir=../resources/schema
example_dir=../examples
for example_subdir in $example_dir/*
do
base=${example_subdir##*/}
schema=$schema_dir/$base.xsd
for example_file in $example_subdir/*.xml
do
base=${example_subdir##*/}
schema=$schema_dir/$base.xsd
for example_file in $example_subdir/*.xml
do
command="xmllint -schema $schema $example_file --noout"
echo $command
if ! $command; then
exit 1
fi
done
command="xmllint -schema $schema $example_file --noout"
echo $command
if ! $command; then
exit 1
fi
done
fi
exit 0
done