Re: [jdt-dev] Jikespg syntax description used in ...compiler.batch/gramm

[Andrey Loskutov <loskutov@xxxxxx>]

OMG, yep, sure, why not shut down wiki too.
 

I've asked on that ticket about instructions, let see if I can do that move on our ancient RHEL 7.9 (I guess most of the tools needed will not work there or not available).

If not, we've got "promise" that may be by the end of the year we will move to RHEL 9, let see...

 

Kind regards,
Andrey Loskutov

Спасение утопающих - дело рук самих утопающих

https://www.eclipse.org/user/aloskutov

 

 

Gesendet: Donnerstag, 05. Januar 2023 um 18:25 Uhr
Von: "Aleksandar Kurtakov" <akurtako@xxxxxxxxxx>
An: "Andrey Loskutov" <loskutov@xxxxxx>
Cc: "Eclipse JDT general developers list." <jdt-dev@xxxxxxxxxxx>
Betreff: Re: [jdt-dev] Jikespg syntax description used in ...compiler.batch/grammar/java.g

 

 

On Thu, Jan 5, 2023 at 7:18 PM Andrey Loskutov <loskutov@xxxxxx> wrote:

The question is if there is a tool that could automatically convert / export existing wiki content to github markdown format?
If not, manually changing everything is not an option.

But as of today the "old" wiki is not planned to be shut down by foundation like everything else?

 

There is issue about shutting it down but no date AFAICT https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/issues/681

 

So wd can keep it there.