KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix doc website URL with duplicate slashes

Browse Source
This commit is contained in:
pagedown 2022-08-24 13:29:51 +08:00
parent ba9afc61a4
commit fd4a682c5b
No known key found for this signature in database
GPG Key ID: E921CF18AC8FF6EB
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/conf/types.py
View File

@ -109,7 +109,7 @@ def remove_markup(text: str) -> str:
return f'{t} <{url}>' return f'{t} <{url}>'
if m.group(1) == 'doc': if m.group(1) == 'doc':
t, q = extract(m) t, q = extract(m)
return f'{t} <{website_url(q.lstrip("/"))}>' return f'{t} <{website_url(q)}>'
if m.group(1) in ('term', 'option'): if m.group(1) in ('term', 'option'):
t, _ = extract(m) t, _ = extract(m)
return t return t

2
kitty/constants.py
View File

@ -237,7 +237,7 @@ def website_url(doc_name: str = '', website: str = 'https://sw.kovidgoyal.net/ki
if base: if base:
base += '/' base += '/'
doc_name = base + (f'#{frag}' if frag else '') doc_name = base + (f'#{frag}' if frag else '')
return website + doc_name return website + doc_name.lstrip('/')
handled_signals: Set[int] = set() handled_signals: Set[int] = set()