Re: Genode IDE ?

2024-07-25 Thread Spencer via users
I do not yet, curious to hear what other people use. Last time I was doing a C++ project, Geanie was my favorite. Nice and lightweight, planning on trying to set that up soon unless there's a more 'blessed' option. On Thu, Jul 25, 2024, at 11:15 PM, John J. Karcher wrote: > Hello Everyone, > >

Genode IDE ?

2024-07-25 Thread John J. Karcher
Hello Everyone, 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 don't have any experience with integrating a new platfo

Re: Proposal: Change to Markdown format instead of GOSH

2024-07-25 Thread Jack Curran
Jana Hirsch wrote: > I first saw the discussion on this I thought "oh no, hopefully someone > doesn't try to conform us into MD." There is a taller stack of deeper > problems with the reasoning of the humans who do what you did, but I will > restrain from writing an unpragmatic response, focusi

Re: Genodians.org is giving 403 forbidden

2024-07-25 Thread Christian Helmuth
Hey, On Thu, Jul 25, 2024 at 08:18:36 CEST, Spencer via users wrote: > title says it, just a heads up Thanks for the heads up. We're investigating stability issues with Genodians.org as a background task for a while now. Therefore, the VM powering this domain, which is a Genode/NOVA appliance, ex