scripts/set-page-title.py: add script (#12732)

This commit is contained in:
Sebastiaan Speck
2024-05-09 13:24:53 +02:00
committed by GitHub
parent 336507ac32
commit 150f02795a
2 changed files with 197 additions and 0 deletions

View File

@@ -14,6 +14,7 @@ This section contains a summary of the scripts available in this directory. For
- [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.
- [set-page-title.py](set-page-title.py) is a Python script to update the title across pages.
- [test.sh](test.sh) script runs some basic tests on every PR/commit to make sure that the pages are valid and that the code is formatted correctly.
- [wrong-filename.sh](wrong-filename.sh) script checks the consistency between the filenames and the page title.
- [update-command.py](update-command.py) is a Python script to update the common contents of a command example across all languages.
@@ -29,5 +30,6 @@ The below table shows the compatibility of user-executable scripts with differen
| [build.sh](build.sh) | ✅ | ✅ | ❌ |
| [set-alias-pages.py](set-alias-pages.py) | ✅ | ✅ | ✅ |
| [set-more-info-link.py](set-more-info-link.py) | ✅ | ✅ | ✅ |
| [set-page-title.py](set-page-title.py) | ✅ | ✅ | ✅ |
| [wrong-filename.sh](wrong-filename.sh) | ✅ | ❌ | ❌ |
| [update-command.py](update-command.py) | ✅ | ✅ | ✅ |