dn42/registry
1
0
Fork 0
mirror of https://git.dn42.dev/dn42/registry.git synced 2025-07-19 00:46:59 +08:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix policy check for inetnum/routes

Browse source
This commit is contained in:
xuu 2017-11-08 11:05:00 -07:00
parent 965cf57d26
commit 9a43218a58
No known key found for this signature in database
GPG key ID: 8B3B0604F164E04F
2 changed files with 29 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

17
check-pol Executable file
View file

@ -0,0 +1,17 @@
#!/bin/sh
if [ $# -eq 0 ]
then
echo "Usage: $0 COMMIT YOUR-MNT"
exit
fi
BASE="$(realpath "$0")"
BASE="$(dirname "$BASE")"
cd "$BASE" || exit 1
git diff --name-only $1 | while IFS='/' read -ra LINE; do
if [[ "${LINE[0]}" = "data" ]]; then
utils/schema-check/dn42-schema.py policy ${LINE[1]} ${LINE[2]} $2
fi
done