diff options
| author | shnwnd <windshaun@gmail.com> | 2021-02-13 03:27:23 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-13 03:27:23 -0800 |
| commit | e6168c5a307c988991ea998d06ec4f6c6c1a6841 (patch) | |
| tree | 6c19f6ff1d613c3cb778928dae6571a61ccc20a2 | |
| parent | 14cce6b01c0efcdd2e8cadeba19d4686d16096b7 (diff) | |
Make the font names more reproducible
This should greatly reduce the noise crowdin creates
Before this the translations would often jump around in diff output this ought to make that a thing of the past.
| -rwxr-xr-x | bin/inkstitch-fonts-gettext | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/inkstitch-fonts-gettext b/bin/inkstitch-fonts-gettext index 8a3aa728..8b802fee 100755 --- a/bin/inkstitch-fonts-gettext +++ b/bin/inkstitch-fonts-gettext @@ -8,7 +8,7 @@ import json fonts_dir = os.path.join(os.path.dirname(__file__), "..", "fonts") -for font in os.listdir(fonts_dir): +for font in sorted(os.listdir(fonts_dir)): with open(os.path.join(fonts_dir, font, "font.json")) as font_json: font_metadata = json.load(font_json) @@ -16,4 +16,4 @@ for font in os.listdir(fonts_dir): print "_(%s)" % repr(font_metadata.get("name", "")) print "# L10N description of font in fonts/%s" % font - print "_(%s)" % repr(font_metadata.get("description", ""))
\ No newline at end of file + print "_(%s)" % repr(font_metadata.get("description", "")) |