ayo/kitty
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

More robust cleaning of launcher dir

Browse source
This commit is contained in:
Kovid Goyal 2022-08-14 23:39:26 +05:30
parent 57dfc379ae
commit 5541e3c2ff
No known key found for this signature in database
GPG key ID: 06BC317B515ACE7C
1 changed files with 10 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
setup.py
View file

@ -1354,6 +1354,14 @@ def repl(name: str, raw: str, defval: Union[str, float, FrozenSet[str]], val: Un
# }}}
def clean_launcher_dir(launcher_dir: str) -> None:
for x in glob.glob(os.path.join(launcher_dir, 'kitty*')):
if os.path.isdir(x):
shutil.rmtree(x)
else:
os.remove(x)
def clean() -> None:
def safe_remove(*entries: str) -> None:
@ -1367,7 +1375,8 @@ def safe_remove(*entries: str) -> None:
safe_remove(
'build', 'compile_commands.json', 'link_commands.json',
'linux-package', 'kitty.app', 'asan-launcher',
'kitty-profile', 'kitty/launcher/kitty')
'kitty-profile')
clean_launcher_dir('kitty/launcher')
def excluded(root: str, d: str) -> bool:
q = os.path.relpath(os.path.join(root, d), base).replace(os.sep, '/')