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

format XUU-MNT

Browse source
This commit is contained in:
xuu 2017-12-05 12:38:28 -07:00
parent 0244f04c70
commit bcf46d08c0
No known key found for this signature in database
GPG key ID: 8B3B0604F164E04F
84 changed files with 1100 additions and 1088 deletions
Download patch file Download diff file Expand all files Collapse all files

12
fmt-my-stuff Executable file
View file

@ -0,0 +1,12 @@
#!/bin/sh
if [ "$#" -eq "0" ]
then
echo "Usage: $0 YOUR-MNT"
exit
fi
BASE="$(realpath "$0")"
BASE="$(dirname "$BASE")"
grep -lr $1 $BASE/data/ | while read line; do utils/schema-check/dn42-schema.py fmt -i $line; done

4
utils/schema-check/dn42-schema.py
View file

@ -192,7 +192,7 @@ class FileDOM:
self.src = src self.src = src
def __str__(self): def __str__(self):
length = 13 length = 20
for i in self.dom: for i in self.dom:
if len(i[0]) > length: if len(i[0]) > length:
length = len(i[0]) + 2 length = len(i[0]) + 2
@ -827,7 +827,7 @@ if __name__ == '__main__':
if args["in_place"]: if args["in_place"]:
with open(args["infile"], 'w+') as f: with open(args["infile"], 'w+') as f:
f.write(str(dom)) f.write(str(dom))
else:
print(str(dom)) print(str(dom))
elif args["command"] == "policy": elif args["command"] == "policy":