diff options
Diffstat (limited to 'x11/kitty/files/patch-docs_conf.py')
-rw-r--r-- | x11/kitty/files/patch-docs_conf.py | 23 |
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], [] + # }}} |