From 5ee1fbe07d6ca2eb455f1a34246d52017bb840d2 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Wed, 28 Feb 2018 00:25:57 +0530 Subject: [PATCH] Copy the launcher script into linux-package The launcher script is mostly useless on linux, but is needed when using kitty.app built from source and might be useful on linux as well, if running kitty without putting it on PATH. --- setup.py | 1 + 1 file changed, 1 insertion(+) diff --git a/setup.py b/setup.py index e64ab3642..82b0ebced 100755 --- a/setup.py +++ b/setup.py @@ -521,6 +521,7 @@ def package(args, for_bundle=False, sh_launcher=False): # {{{ for f in files: path = os.path.join(root, f) os.chmod(path, 0o755 if f.endswith('.so') else 0o644) + shutil.copy2('kitty/launcher/kitty', os.path.join(libdir, 'kitty', 'launcher')) launcher_dir = os.path.join(ddir, 'bin') safe_makedirs(launcher_dir) build_linux_launcher(args, launcher_dir, for_bundle, sh_launcher)