Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [jdt-dev] JDT core Wiki migrated to github

Someone has tried to contact me off-list ("Moin Stephan ..."), with illegal sender address and no signature (which for no surprise ended up in my spam folder).

Please disclose your identity when emailing :)
thanks,
Stephan

Am 28.02.23 um 13:42 schrieb Stephan Herrmann:
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

_______________________________________________
jdt-dev mailing list
jdt-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jdt-dev



Back to the top