Generate termux-packages Mirrors wiki page through termux-tools github actions #281
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
And add a file mirrors_header.md with the header from mirrors.md. This wiki page contains a lot of information that is kept in the mirrors/ files. To decrease amount of duplicated information we can generate the wiki page with a script instead.
In the script for generating the page the mirrors will be grouped instead of printed alphabetically. Therefore, update description.
Member
Author
|
Aha, I see termux-change-repo is updated to sed the Mirror by .. Hosted in .. lines to make them shorter, so I'll drop the changes where I removed "Hosted in". |
Shorten location part, from "Hosted in City, Country" to just "City,
Country". Use 4 lines starting with # with information about the
mirror. Lines are:
# This file is sourced by pkg
Which is not used for anything
# Mirror by grimler. Hosted in Helsinki, Finland.
Which is presented to user in termux-change-repo. "Mirror by" and
"Hosted in" are shortened by the tool.
# grimler | https://github.com/grimler91
Mirror owner/username and relevant link. Presented on the Mirrors wiki page.
# Hosted in Helsinki, Finland. Mirrored from the main node, updated hourly.
Additional description of mirror, used on the Mirrors wiki page.
For auto-generating the Mirrors.md wiki page in termux-packages.wiki. All the information on the wiki has been transferred to the individual mirror files.
And do some simple checks of all the mirrors files, specifically check so that they: 1. Have 4 header lines 2. Contain repos for termux-main, termux-x11 and termux-root 3. That they are mentioned in the mirrors/Makefile.am
Grimler91
force-pushed
the
generate-mirrors-wiki-page
branch
from
67524b7 to
1fd2211
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
To achieve this we change all the mirror files to contain a bit more information. We change from having two header lines like:
to
where the lines are used as follows:
I also dropped the "Hosted in City, Country" in favour of just "City, Country", to make more mirrors look nice in termux-change-repo on devices with small screens.
A new github actions script is responsible for updating the termux-packages wiki page, through termuxbot2. Before updating the page it also verifies that all the mirror files look good, meaning containing four header lines and all the repos, and so that it is mentioned in the README.
While working on this I have also fixed as few inconsistencies, like wrong information or typos on wiki page.
After this is merged I'll merge all pending new mirrors, and remove mirrors that are down.