Write final newline.

2022-10-03 00:02:42 +02:00 · 2022-10-03 00:02:42 +02:00 · 75617b5fd3
parent 20df7b6448
commit 75617b5fd3
1 changed files with 1 additions and 0 deletions
--- a/.local/bin/codium-extensions
+++ b/.local/bin/codium-extensions
@ -36,6 +36,7 @@ def main() -> None:
        with open(args.file, "w") as file:
            extensions = get_installed_extensions()
            file.writelines("\n".join(extensions))
+            file.write("\n")
            print(f"Wrote {len(extensions)} extensions to {args.file}")