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

When redirecting preserve anchors

Browse Source
This commit is contained in:
Kovid Goyal 2021-07-20 13:51:50 +05:30
parent 624991b9b7
commit d98c2f89aa
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
2 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
kitty/conf/types.py
View File

@ -46,9 +46,9 @@ def remove_markup(text: str) -> str:
def sub(m: Match) -> str:
if m.group(1) == 'ref':
return {
'layouts': f'{base}/overview.html#layouts',
'sessions': f'{base}/overview.html#sessions',
'functional': f'{base}/keyboard-protocol.html#functional-key-definitions',
'layouts': f'{base}/overview/#layouts',
'sessions': f'{base}/overview/#sessions',
'functional': f'{base}/keyboard-protocol/#functional-key-definitions',
}[m.group(2)]
return str(m.group(2))

5
publish.py
View File

@ -81,7 +81,12 @@ def add_old_redirects(loc: str) -> None:
<head>
<title>Redirecting...</title>
<link rel="canonical" href="{bname}/" />
<noscript>
<meta http-equiv="refresh" content="0;url={bname}/" />
</noscript>
<script type="text/javascript">
window.location.replace('./{bname}/' + window.location.hash);
</script>
</head>
<body>
<p>Redirecting, please wait...</p>