1
mirror of https://git.dn42.dev/dn42/registry.git synced 2025-02-28 19:33:03 +01:00
registry/fmt-my-stuff

16 lines
344 B
Plaintext
Raw Normal View History

2017-12-05 12:38:28 -07:00
#!/bin/sh
if [ "$#" -eq "0" ]
then
echo "Usage: $0 YOUR-MNT"
exit
fi
2017-12-31 20:03:56 +01:00
BASE="$(readlink -f "$0" 2>/dev/null || python -c 'import os,sys;print(os.path.realpath(sys.argv[1]))' "$0")"
2017-12-05 12:38:28 -07:00
BASE="$(dirname "$BASE")"
grep -lrE "(\s|:)$1(\s|\$)" "$BASE/data/" | while read -r line; do
utils/schema-check/dn42-schema.py fmt -i "$line"
done