From 647453477cfe3c8b1cb5e40a506758c14540c336 Mon Sep 17 00:00:00 2001 From: Vitor Henrique Date: Fri, 15 Mar 2024 08:52:12 -0300 Subject: [PATCH] scripts/detect-broken-more-info-links.py: rename to check-more-info-links.py --- scripts/README.md | 4 ++-- ...ect-broken-more-info-links.py => check-more-info-links.py} | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) rename scripts/{detect-broken-more-info-links.py => check-more-info-links.py} (100%) diff --git a/scripts/README.md b/scripts/README.md index dea7552278554..caab80bede008 100644 --- a/scripts/README.md +++ b/scripts/README.md @@ -11,7 +11,7 @@ This section contains a summary of the scripts available in this directory. For - [build-index.sh](build-index.sh) script builds the index of available pages. - [check-pr.sh](check-pr.sh) script checks the pages syntax and performs various checks on the PR. - [deploy.sh](deploy.sh) script deploys the ZIP and PDF archives to the static website repository. -- [detect-broken-more-info-links.py](detect-broken-more-info-links.py) is a Python script to detect "More information" links that are broken or redirect to another one, using asynchronous code for speed. +- [check-more-info-links.py](check-more-info-links.py) is a Python script to detect "More information" links that are broken or redirect to another one, using asynchronous code for speed. - [send-to-bot.py](send-to-bot.py) is a Python script that send the build or tests output to tldr-bot. - [set-alias-page.py](set-alias-page.py) is a Python script to generate or update alias pages. - [set-more-info-link.py](set-more-info-link.py) is a Python script to generate or update more information links across pages. @@ -28,7 +28,7 @@ The below table shows the compatibility of user-executable scripts with differen | [render.py](pdf/render.py) | ✅ | ✅ | ✅ | | [build-pdf.sh](pdf/build-pdf.sh) | ✅ | ✅ | ❌ | | [build.sh](build.sh) | ✅ | ✅ | ❌ | -| [detect-broken-more-info-links.py](detect-broken-more-info-links.py) | ✅ | ? | ✅ | +| [check-more-info-links.py](check-more-info-links.py) | ✅ | ? | ✅ | | [set-alias-pages.py](set-alias-pages.py) | ✅ | ✅ | ✅ | | [set-more-info-link.py](set-more-info-link.py) | ✅ | ✅ | ✅ | | [wrong-filename.sh](wrong-filename.sh) | ✅ | ❌ | ❌ | diff --git a/scripts/detect-broken-more-info-links.py b/scripts/check-more-info-links.py similarity index 100% rename from scripts/detect-broken-more-info-links.py rename to scripts/check-more-info-links.py index 64531c8590125..7dc5c8b05b899 100644 --- a/scripts/detect-broken-more-info-links.py +++ b/scripts/check-more-info-links.py @@ -15,6 +15,7 @@ sem = asyncio.Semaphore(MAX_CONCURRENCY) + async def find_md_files(search_path: AsyncPath) -> list[AsyncPath]: """Find all .md files in the specified search path.""" md_files = set() @@ -125,4 +126,3 @@ async def main(): if __name__ == "__main__": asyncio.run(main()) -