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

Add unicode-input docs redirect

Browse Source
This commit is contained in:
pagedown 2021-12-10 17:34:39 +08:00
parent 7e449dec4f
commit 5956639082
No known key found for this signature in database
GPG Key ID: E921CF18AC8FF6EB
1 changed files with 16 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
publish.py
View File

@ -79,16 +79,9 @@ def run_html(args: Any) -> None:
add_old_redirects('docs/_build/dirhtml')
def add_old_redirects(loc: str) -> None:
for dirpath, dirnames, filenames in os.walk(loc):
if dirpath != loc:
for fname in filenames:
if fname == 'index.html':
bname = os.path.basename(dirpath)
base = os.path.dirname(dirpath)
link_name = os.path.join(base, f'{bname}.html') if base else f'{bname}.html'
with open(link_name, 'w') as f:
f.write(f'''
def generate_redirect_html(link_name: str, bname: str) -> None:
with open(link_name, 'w') as f:
f.write(f'''
<html>
<head>
<title>Redirecting...</title>
@ -107,6 +100,19 @@ window.location.replace('./{bname}/' + window.location.hash);
''')
def add_old_redirects(loc: str) -> None:
for dirpath, dirnames, filenames in os.walk(loc):
if dirpath != loc:
for fname in filenames:
if fname == 'index.html':
bname = os.path.basename(dirpath)
base = os.path.dirname(dirpath)
link_name = os.path.join(base, f'{bname}.html') if base else f'{bname}.html'
generate_redirect_html(link_name, bname)
generate_redirect_html(os.path.join(loc, 'kittens', 'unicode-input.html'), 'unicode_input')
def run_docs(args: Any) -> None:
subprocess.check_call(['make', 'docs'])