diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-06-23 07:00:28 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-06-23 07:00:28 +0100 |
commit | e23cdda4dbb0c83b9e682ab5e916085a35203da5 (patch) | |
tree | 5a4ac448a3b288b731c24d947e0ce52df3cab07b /x11-terms/kitty/files/kitty-0.11.0-svg-icon.patch | |
parent | 8187a741807f3e9a9e26304973cf18087dcf2560 (diff) |
gentoo resync : 23.06.2018
Diffstat (limited to 'x11-terms/kitty/files/kitty-0.11.0-svg-icon.patch')
-rw-r--r-- | x11-terms/kitty/files/kitty-0.11.0-svg-icon.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/x11-terms/kitty/files/kitty-0.11.0-svg-icon.patch b/x11-terms/kitty/files/kitty-0.11.0-svg-icon.patch new file mode 100644 index 000000000000..97e45c677f8f --- /dev/null +++ b/x11-terms/kitty/files/kitty-0.11.0-svg-icon.patch @@ -0,0 +1,16 @@ +Use SVG icon instead of PNG. + +--- kitty-0.11.0/setup.py ++++ kitty-0.11.0/setup.py +@@ -605,9 +605,9 @@ + if not is_macos: # {{{ linux desktop gunk + 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: |