summaryrefslogtreecommitdiff
path: root/x11/kitty/files/patch-docs_conf.py
diff options
context:
space:
mode:
Diffstat (limited to 'x11/kitty/files/patch-docs_conf.py')
-rw-r--r--x11/kitty/files/patch-docs_conf.py23
1 files changed, 23 insertions, 0 deletions
diff --git a/x11/kitty/files/patch-docs_conf.py b/x11/kitty/files/patch-docs_conf.py
new file mode 100644
index 000000000000..a9775ffc7d43
--- /dev/null
+++ b/x11/kitty/files/patch-docs_conf.py
@@ -0,0 +1,23 @@
+--- docs/conf.py.orig 2023-05-12 12:26:28 UTC
++++ docs/conf.py
+@@ -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], []
+ # }}}