-
Notifications
You must be signed in to change notification settings - Fork 120
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Update list-of-update-sites page #157
Comments
Hi, I'd be happy to tackle this one. I would go directly for the second bullet point suggestion. I would like to summarize the current setup to be sure I understand before working on it:
I obviously miss a piece of information regarding the PHP request. I'll investigate more. If anyone has an idea of how this works, help is welcome 😄! Once clarified, I think it would be good to move the A key element which I have not figured out is how to keep things compatible with the current updater, for IJ installations which will not upgrade. Changing the Wiki style seems like a breaking-change, unless we host two pages (one with the current style for the updater, one with the new style for humans). |
Ah I understood part of it. The URL was almost correct but spaces in the title "List of update sites" have to be replaces with The table is a MediaWiki format, embedded in a XML document. This is indeed what is parsed, and what I mistook for a mix of HTML and Markdown. It makes much more sense now. |
The
list-of-update-sites
repository is still styled after the old MediaWiki.We need to integrate this better with the new wiki.
sites.yml
to this repository instead, and integrate it into the GitHub Actions. Then we wouldn't need to copy-paste the page style from_includes/page
to thelist-of-update-sites
repository, but rather would benefit from it being more DRY here.Possibly, the two above points should be two issues... for now, this issue exists as a reminder to evaluate how we want to proceed.
The text was updated successfully, but these errors were encountered: