1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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:
|
