From 36ac7a95e1cfb4be9912b358452d7236cfc8b281 Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Wed, 6 Apr 2022 17:15:27 +0200
Subject: [PATCH] doc.py: modernize
---
scripts/doc.py | 23 ++++++++---------------
1 file changed, 8 insertions(+), 15 deletions(-)
diff --git a/scripts/doc.py b/scripts/doc.py
index 3e45d02..f083dc7 100755
--- a/scripts/doc.py
+++ b/scripts/doc.py
@@ -8,24 +8,18 @@ import requests
DOC = Path("/net/cubitus/projects/Partage_GEPETTO/Doc")
GITLAB = "https://gitlab.laas.fr"
-RAINBOARD = "http://rainboard.laas.fr"
+RAINBOARD = "https://rainboard.laas.fr"
INDEX = DOC / "index.html"
HEAD = DOC / "index.head.html"
if __name__ == "__main__":
- with INDEX.open("w") as f:
- with HEAD.open() as head:
- f.write(head.read())
+ with INDEX.open("w") as f, HEAD.open() as head:
+ f.write(head.read())
for project, namespace, branch in sorted(
- requests.get("%s/doc" % RAINBOARD).json()["ret"]
+ requests.get(f"{RAINBOARD}/doc").json()["ret"]
):
- url = "%s/%s/%s/-/jobs/artifacts/%s/download" % (
- GITLAB,
- namespace,
- project,
- branch,
- )
+ url = f"{GITLAB}/{namespace}/{project}/-/jobs/artifacts/{branch}/download"
path = DOC / namespace / project / branch
r = requests.get(url, {"job": "doc-coverage"}, stream=True)
try:
@@ -40,15 +34,14 @@ if __name__ == "__main__":
link = path.relative_to(DOC)
doxygen, coverage = link / "doxygen-html", link / "coverage"
print(
- "<tr><td>%s</td><td>%s</td><td>%s</td><td>"
- % (project, namespace, branch),
+ f"<tr><td>{project}</td><td>{namespace}</td><td>{branch}</td><td>",
file=f,
)
if (DOC / doxygen).is_dir():
- print('<a href="%s">Doc</a>' % doxygen, file=f)
+ print(f"<a href='{doxygen}'>Doc</a>", file=f)
print("</td><td>", file=f)
if (DOC / coverage).is_dir():
- print('<a href="%s">Coverage</a>' % coverage, file=f)
+ print(f"<a href='{coverage}'>Coverage</a>", file=f)
print("</td></tr>", file=f)
with INDEX.open("a") as f:
--
GitLab