diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2021-11-13 13:10:00 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2021-11-13 13:10:00 +0000 |
| commit | e9d044d4b9b71200a96adfa280848858c0f468c9 (patch) | |
| tree | 1bd8ef816043a8cd340f1d774e79553a1a7d31d8 /x11-terms/kitty/files/kitty-0.14.4-svg-icon.patch | |
| parent | fc2f1018fc323ef2c6572734a9b130427cba76a6 (diff) | |
gentoo resync : 13.11.2021
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: |