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

Also prevent unknown roles from causing formatting to error

Browse Source
This commit is contained in:
Kovid Goyal
2021-07-27 08:07:11 +05:30
parent 6c8eb4a19a
commit bc895eacc5
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
kitty/cli.py
View File

@@ -204,7 +204,10 @@ def prettify(text: str) -> str:
def sub(m: Match) -> str: def sub(m: Match) -> str:
role, text = m.group(1, 2) role, text = m.group(1, 2)
return str(role_map[role](text)) try:
return str(role_map[role](text))
except KeyError:
return str(text)
text = re.sub(r':([a-z]+):`([^`]+)`', sub, text) text = re.sub(r':([a-z]+):`([^`]+)`', sub, text)
return text return text