diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2019-11-18 10:15:03 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2019-11-18 10:15:03 +0000 |
commit | b284a3168fa91a038925d2ecf5e4791011ea5e7d (patch) | |
tree | 16fe44748708acacd909d4e2e160a09a7f6d936a /x11-terms/kitty/files/kitty-0.11.0-svg-icon.patch | |
parent | 77398e424e45d9e98c1cef3c43bdadb9d56e81ef (diff) |
gentoo resync : 18.11.2019
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, 0 insertions, 16 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 deleted file mode 100644 index 97e45c677f8f..000000000000 --- a/x11-terms/kitty/files/kitty-0.11.0-svg-icon.patch +++ /dev/null @@ -1,16 +0,0 @@ -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: |