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

DRYer

Browse Source
This commit is contained in:
Kovid Goyal
2022-08-20 12:03:33 +05:30
parent b6760a59fa
commit e289f4959f
4 changed files with 36 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
kitty/utils.py
View File

@@ -1071,11 +1071,14 @@ def safer_fork() -> int:
return pid
def docs_url(which: str = '', local_docs_root: str = '') -> str:
def docs_url(which: str = '', local_docs_root: Optional[str] = '') -> str:
from urllib.parse import quote
from .constants import local_docs, website_url
from .conf.types import resolve_ref
ld = local_docs_root or local_docs()
if local_docs_root is None:
ld = ''
else:
ld = local_docs_root or local_docs()
base, frag = which.partition('#')[::2]
base = base.strip('/')
if frag.startswith('ref='):