public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

scripts.pluginupdate: write final newline 

json.dump does not write any newline, so the final newline in the file
is missing.
This commit is contained in:
Flakebi 2021-03-22 22:56:44 +01:00
parent 188b23fb32
commit 04184cd64f
No known key found for this signature in database
GPG Key ID: 38E7ED984D7DCD02
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
maintainers/scripts/pluginupdate.py
View File

@ -416,6 +416,7 @@ def rewrite_input(
} }
with open(deprecated, "w") as f: with open(deprecated, "w") as f:
json.dump(deprecations, f, indent=4, sort_keys=True) json.dump(deprecations, f, indent=4, sort_keys=True)
f.write("\n")
lines = sorted(lines, key=str.casefold) lines = sorted(lines, key=str.casefold)