From 1695f6800c15cbf42d9e934fa57f9266aee42e93 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Fri, 20 Jul 2018 21:21:52 +0530 Subject: [PATCH] Expand links to kitty docs in sample kitty.conf --- kitty/conf/definition.py | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/kitty/conf/definition.py b/kitty/conf/definition.py index 6eb6c8e6e..bf0635feb 100644 --- a/kitty/conf/definition.py +++ b/kitty/conf/definition.py @@ -119,7 +119,16 @@ def merged_opts(all_options, opt, i): def remove_markup(text): - return re.sub(r':([a-zA-Z0-9]+):`(.+?)`', r'\2', text, flags=re.DOTALL) + + def sub(m): + if m.group(1) == 'ref': + return { + 'layouts': 'https://sw.kovidgoyal.net/kitty/index.html#layouts', + 'sessions': 'https://sw.kovidgoyal.net/kitty/index.html#sessions', + }[m.group(2)] + return m.group(2) + + return re.sub(r':([a-zA-Z0-9]+):`(.+?)`', sub, text, flags=re.DOTALL) def iter_blocks(lines):