mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-22 00:08:04 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix shell integration being disabled with one invalid option

Browse Source
This commit is contained in:
pagedown
2022-03-08 23:42:41 +08:00
parent 958ebb72a6
commit 46889a3a32
2 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/options/utils.py
View File

@@ -804,7 +804,7 @@ def shell_integration(x: str) -> FrozenSet[str]:
q = frozenset(x.lower().split())
if not q.issubset(s):
log_error(f'Invalid shell integration options: {q - s}, ignoring')
return q & s
return q & s or frozenset({'invalid'})
return q