[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
Re: [jdt-dev] JDT core Wiki migrated to github
|
Great indeed.
One aspect by which I'm truly underwhelmed: it seems github wiki is not able to
capture the hierarchy of pages the original wiki had.
What's more: when I try to fix links, the preview page may show a working link,
but after saving, the link is shortened by one segment and no longer works.
Example:
https://github.com/eclipse-jdt/eclipse.jdt.core/wiki/ECJ-AST
At the top you see three links (two of which I just added manually to mimic,
what mediawiki does automatically). During preview those links resolved to this
form:
https://github.com/eclipse-jdt/eclipse.jdt.core/wiki/Programmer-Guide
But after save it resolves to 404 at
https://github.com/eclipse-jdt/eclipse.jdt.core/Programmer-Guide
WTF?
I recall that it even worked after save *some times*.
Surely I'm holding it wrong?
Stephan
Am 28.02.23 um 11:07 schrieb Jayaprakash Arthanareeswaran:
Great effort! Thanks Simeon!
Just one correction – the repo is here -
https://github.com/eclipse-jdt/eclipse.jdt.core/wiki
<https://github.com/eclipse-jdt/eclipse.jdt.core/wiki>
Regards,
Jay
*From:*jdt-dev <jdt-dev-bounces@xxxxxxxxxxx> *On Behalf Of *Andrey Loskutov
*Sent:* 28 February 2023 13:16
*To:* Eclipse JDT general developers list. <jdt-dev@xxxxxxxxxxx>
*Subject:* [EXTERNAL] [jdt-dev] JDT core Wiki migrated to github
Hi, In context of a global eclipse. org wiki shutdown Simeon migrated JDT core
wiki from https: //wiki. eclipse. org/JDT to https: //github.
com/eclipse-jdt/eclipse. jdt. core/wiki. Some links could be broken, because
migration tooling isn't capable
ZjQcmQRYFpfptBannerStart
*This Message Is From an External Sender *
This message came from outside your organization.
ZjQcmQRYFpfptBannerEnd
Hi, In context of a global eclipse.org wiki shutdown Simeon migrated JDT core
wiki from https://wiki.eclipse.org/JDT <https://wiki.eclipse.org/JDT>to
https://github.com/eclipse-jdt/eclipse.jdt.core/wiki
<https://github.com/eclipse-jdt/eclipse.jdt.core/wiki>. Some links could be
broken, because migration tooling isn't capable to properly migrate inter-wiki
links, many links were manually updated, so if you see any broken link, please
correct it manually. In case one want to do a "global" mass change of the
content, the git repo of the wiki is
https://github.com/eclipse-jdt/eclipse.jdt.core.wiki.git
<https://github.com/eclipse-jdt/eclipse.jdt.core.wiki.git>. I've enabled wiki
editing rights to everyone with github account, so feel free to contribute. If
you see some missing content that was not migrated (or any other problem),
please comment on https://github.com/eclipse-jdt/eclipse.jdt.core/issues/753
<https://github.com/eclipse-jdt/eclipse.jdt.core/issues/753>or simply fix that -
it is wiki!
--
Kind regards,
Andrey Loskutov
Спасение утопающих - дело рук самих утопающих
https://www.eclipse.org/user/aloskutov <https://www.eclipse.org/user/aloskutov>
_______________________________________________
jdt-dev mailing list
jdt-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jdt-dev