diff options
Diffstat (limited to 'x11-terms/kitty/files/kitty-0.14.4-svg-icon.patch')
| -rw-r--r-- | x11-terms/kitty/files/kitty-0.14.4-svg-icon.patch | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/x11-terms/kitty/files/kitty-0.14.4-svg-icon.patch b/x11-terms/kitty/files/kitty-0.14.4-svg-icon.patch deleted file mode 100644 index 13f874dd3c14..000000000000 --- a/x11-terms/kitty/files/kitty-0.14.4-svg-icon.patch +++ /dev/null @@ -1,16 +0,0 @@ -Use SVG icon instead of PNG. - ---- kitty-0.14.4/setup.py -+++ kitty-0.14.4/setup.py -@@ -710,9 +710,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: |