Merge pull request 'Docs: fix relative links to git.clan.lol' (#1482) from hsjobeki-main into main

2024-05-28 15:18:45 +00:00 · 2024-05-28 15:18:45 +00:00 · dcd6ad0983
commit dcd6ad0983
parent c81a8681b0 567d979243
1 changed files with 6 additions and 4 deletions
--- a/docs/nix/scripts/renderOptions.py
+++ b/docs/nix/scripts/renderOptions.py
@ -40,13 +40,14 @@ def sanitize(text: str) -> str:
    return text.replace(">", "\\>")


-def replace_store_path(text: str) -> Path:
+def replace_store_path(text: str) -> tuple[str, str]:
    res = text
    if text.startswith("/nix/store/"):
        res = "https://git.clan.lol/clan/clan-core/src/branch/main/" + str(
            Path(*Path(text).parts[4:])
        )
-    return Path(res)
+    name = Path(res).name
+    return (res, name)


 def render_option_header(name: str) -> str:
@ -108,9 +109,10 @@ def render_option(name: str, option: dict[str, Any], level: int = 3) -> str:
 """

    decls = option.get("declarations", [])
-    source_path = replace_store_path(decls[0])
+    source_path, name = replace_store_path(decls[0])
+    print(source_path, name)
    res += f"""
-:simple-git: [{source_path.name}]({source_path})
+:simple-git: [{name}]({source_path})
 """
    res += "\n"