From d98c2f89aa9a3d308e0b8fe090a3aa78b39c9353 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Tue, 20 Jul 2021 13:51:50 +0530 Subject: [PATCH] When redirecting preserve anchors --- kitty/conf/types.py | 6 +++--- publish.py | 5 +++++ 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/kitty/conf/types.py b/kitty/conf/types.py index 508315a39..23d749812 100644 --- a/kitty/conf/types.py +++ b/kitty/conf/types.py @@ -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)) diff --git a/publish.py b/publish.py index 6e07dc098..136e77e65 100755 --- a/publish.py +++ b/publish.py @@ -81,7 +81,12 @@ def add_old_redirects(loc: str) -> None: Redirecting... + +

Redirecting, please wait...