diff --git a/x11/kitty/files/patch-docs_conf.py b/x11/kitty/files/patch-docs_conf.py index a9775ffc7d43..58693f67f47e 100644 --- a/x11/kitty/files/patch-docs_conf.py +++ b/x11/kitty/files/patch-docs_conf.py @@ -1,23 +1,32 @@ ---- docs/conf.py.orig 2023-05-12 12:26:28 UTC +--- docs/conf.py.orig 2023-08-26 07:33:11 UTC +++ docs/conf.py +@@ -177,7 +177,7 @@ manpages_url = 'https://man7.org/linux/man-pages/man{s + # (source start file, name, description, authors, manual section). + man_pages = [ + ('invocation', 'kitty', 'kitty Documentation', [author], 1), +- ('conf', 'kitty.conf', 'kitty.conf Documentation', [author], 5) ++ ('conf', 'kitty.conf', 'kitty terminal emulator configuration file', [author], 5) + ] + + @@ -207,18 +207,10 @@ def commit_role( name: str, rawtext: str, text: str, lineno: int, inliner: Any, options: Any = {}, content: Any = [] ) -> Tuple[List[nodes.reference], List[nodes.problematic]]: ' Link to a github commit ' - try: - commit_id = subprocess.check_output( - f'git rev-list --max-count=1 --skip=# {text}'.split()).decode('utf-8').strip() - except Exception: - msg = inliner.reporter.error( - f'GitHub commit id "{text}" not recognized.', line=lineno) - prb = inliner.problematic(rawtext, rawtext, msg) - return [prb], [msg] + commit_id = text url = f'https://github.com/kovidgoyal/kitty/commit/{commit_id}' set_classes(options) - short_id = subprocess.check_output( - f'git rev-list --max-count=1 --abbrev-commit --skip=# {commit_id}'.split()).decode('utf-8').strip() + short_id = text[:9] node = nodes.reference(rawtext, f'commit: {short_id}', refuri=url, **options) return [node], [] # }}} diff --git a/x11/kitty/files/patch-docs_conf.rst b/x11/kitty/files/patch-docs_conf.rst new file mode 100644 index 000000000000..b205a7978b11 --- /dev/null +++ b/x11/kitty/files/patch-docs_conf.rst @@ -0,0 +1,18 @@ +--- docs/conf.rst.orig 1979-11-29 23:00:00 UTC ++++ docs/conf.rst +@@ -1,7 +1,14 @@ + kitty.conf +------------------------ ++================ + + .. highlight:: conf ++ ++ ++.. only:: man ++ ++ Overview ++ -------------- ++ + + |kitty| is highly customizable, everything from keyboard shortcuts, to rendering + frames-per-second. See below for an overview of all customization possibilities.