1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
--- kitty-9999/setup.py.orig 2019-07-16 18:13:07.072868752 -0500
+++ kitty-9999/setup.py 2019-07-16 18:13:40.082039929 -0500
@@ -705,9 +705,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:
|