Re: Genode IDE ?

2024-07-26 Thread Jack Curran
To add to this: There is also KATE, which is the "KDE Advanced Text Editor", it's 23 years old now, so it's more than likely very stable. It’s also a general purpose IDE that has support for many programming languages. However, it is written in C++ which isn't memory safe. I try to use memory

Re: Proposal: Change to Markdown format instead of GOSH

2024-07-26 Thread Jack Curran
Spencer wrote: > I was saying that to Jana, who seemed to be implying that Gosh was doing > something fundamentally different, which I don't think is the case. > Not making any further comment on if its worth it to the dev team or not, not > sure we can know what their priorities are on this anyw

Re: Genode IDE ?

2024-07-26 Thread Jack Curran
John J. Karcher wrote: > Does anyone use an IDE for developing in Genode? > If so, which one? How do you like it? Do you have any configuration > and/or usage hints you can share? > If not, are you interested? What is your favorite IDE candidate? I had previously used Emacs. However I have no

Re: Proposal: Change to Markdown format instead of GOSH

2024-07-26 Thread Spencer via users
I was saying that to Jana, who seemed to be implying that Gosh was doing something fundamentally different, which I don't think is the case. Not making any further comment on if its worth it to the dev team or not, not sure we can know what their priorities are on this anyways. On Fri, Jul 26,

Re: Proposal: Change to Markdown format instead of GOSH

2024-07-26 Thread Jack Curran
Spencer wrote: > I feel like this misses the point somewhat- > Markdown is also aiming for the 'readable as a text file' and really is a > very similar technology to Gosh. Also, whether they are .gosh files, or text > files that happen to implement gosh doesn't matter much, just as .md doesn't >