diff options
Diffstat (limited to 'x11-terms/kitty/files/kitty-9999-svg-icon.patch')
| -rw-r--r-- | x11-terms/kitty/files/kitty-9999-svg-icon.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/x11-terms/kitty/files/kitty-9999-svg-icon.patch b/x11-terms/kitty/files/kitty-9999-svg-icon.patch new file mode 100644 index 000000000000..ff9e00eb67c9 --- /dev/null +++ b/x11-terms/kitty/files/kitty-9999-svg-icon.patch @@ -0,0 +1,14 @@ +--- kitty-9999/setup.py.orig 2019-07-16 18:13:07.072868752 -0500 ++++ kitty-9999/setup.py 2019-07-16 18:13:40.082039929 -0500 +@@ -705,9 +705,9 @@ + run_tool(['make', 'docs']) + copy_man_pages(ddir) + copy_html_docs(ddir) +- icdir = os.path.join(ddir, 'share', 'icons', 'hicolor', '256x256', 'apps') ++ icdir = os.path.join(ddir, 'share', 'icons', 'hicolor', 'scalable', 'apps') + safe_makedirs(icdir) +- shutil.copy2('logo/kitty.png', icdir) ++ shutil.copy2('logo/kitty.svg', icdir) + deskdir = os.path.join(ddir, 'share', 'applications') + safe_makedirs(deskdir) + with open(os.path.join(deskdir, 'kitty.desktop'), 'w') as f: |