Eclipse Theia IDE which appears to be competing with VSCode:
https://news.itsfoss.com/theia-ide/
___
users mailing list -- users@lists.genode.org
To unsubscribe send an email to users-le...@lists.genode.org
Archived at
https://lists.genode.org/mailman3/
I think it would be great to have a website like https://flathub.org/ where we
have individual pages for user submitted depot applications that you can then
add extra metadata information to such as the Screenshots, description, source
code links, programming languages used, licenses, statistics
Jack Curran wrote:
> Nobody III wrote:
> > I would love to see VSCodium and/or Kate ported to Genode.
> > Yes I would love to see VSCodium ported to Genode. I had briefly considered
> > trying to do it myself using Goa, but I feel like it would be outside my
> > skill
Martin Steigerwald wrote:
> Still just lurking here, more and more dissatisfied with erratic behavior
> related to the Linux kernel and probably some other components, but for
What things have you encountered?
> With memory safe you mean written in Rust or a language with similar
> qualities?
Nobody III wrote:
> I would love to see VSCodium and/or Kate ported to Genode.
Yes I would love to see VSCodium ported to Genode. I had briefly considered
trying to do it myself using Goa, but I feel like it would be outside my skill
level currently. Although I may try at some point and see if
Michael Grunditz wrote:
> Sigh I believe that the old editor war should be left out of this list. I am
> not going to comment the text above.
> Michael Grunditz
I apologise, I will refrain from giving unsolicited opinions on such matters.
It was not my intention to start any wars.
John J. Karch
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
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
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
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
>
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
Here is my corresponding GitHub issue to track the progress, discussions or
changes/commits made in regards to this proposal:
https://github.com/genodelabs/genode/issues/5303
I propose that Genode adopts Markdown instead of GOSH.
Markdown has become the standard format for nearly all Open Sourc
Although, I have noticed that they do use README.md files in some of other
other Genode Labs repositories. So maybe they do use also use markdown.
Although it does just seem to be the main front page README.md file in the
repository, which looks nicer on the Github web page.
https://github.com
Spencer wrote:
> I'm curious about this too - looking at the github repo, it seems like
> there's a mix of pulls into staging and into master. The git flow section of
> https://genode.org/documentation/genode-foundations-24-05.pdf is a little
> ambigious - it mentions staging as being the place
master branch for my development in this case and reference my
commits to the issues from my master branch?
On Mon, 15 Jul 2024, at 14:38, Jack Curran wrote:
> Hello, I have made some pull requests. I have just updated some readme files
> to markdown format. As far as I understand pull re
Hello, I have made some pull requests. I have just updated some readme files to
markdown format. As far as I understand pull requests are a request to
introduce/upload my changes to the Genode repository. This is my first time
ever using/learning git, so I am not very familiar with how it works.
I have now converted/updated all 9 of the Genode Labs Github repositories
README files to README.md markdown files. I believe they look more clear,
modern and readable now.
https://github.com/axiomsss/genode/blob/staging/README.md
https://github.com/axiomsss/goa/blob/staging/README.md
https://gi
Hello, I have made 3 pull requests for the Genode, Goa and Genodians.org Github
repositories. I have changed the README file to README.md to make it a markdown
file. Nearly all big Github repositories use README.md markdown files as it
allows the creation of more sophisticated and professional G
Hello, I am curious who, or what team, is responsible for the GUI design of
Sculpt OS. Especially the Window Manager preset that comes with Sculpt by
default. Which I am sure is the window manager that most users are using?
I am willing to create icons for the Window Manager GUI if needed. I don
John J. Karcher wrote:
> Do you mind if I ask what software you run for your e-mail and NAS servers?
Hi John, I haven't actually set up my NAS completely yet. However I have setup
the software I'll be using for NFS. I am running a docker container of Owncloud
Infinite Scale(OCIS) on NixOS. I jus
Enjoy your break Genode Staff!
___
users mailing list -- users@lists.genode.org
To unsubscribe send an email to users-le...@lists.genode.org
Archived at
https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/5XCRFK35WQLR4MBFPYQY
Hello, the github source code link doesn't work when I try to download the
source code. https://genode.org/download/repository
I have to change the link from:
>To download the source code, use
> git clone git://github.com/genodelabs/genode.git
When I run this command, it stalls for several minut
Johannes Schlatow wrote:
> > Yesterday, Norman updated the challenges page and actually added GTK to
> our wishlist:
> http://genodians.org/nfeske/2024-07-02-challenges
Ah very interesting! Sorry I must have missed the genodians post yesterday,
I've just read it now. Very exciting goals, I like
Okay thank you for the advice! I will attempt to port emacs soon.
Thank you for letting me know about GTK. I was going to make a question about
the graphical front end of Sculpt OS. What is the GUI in Sculpt OS running on?
Is the Window Manager Preset and Leitzentrale using the same graphics eng
I was planning on porting Emacs to Sculpt OS as a first project. I understand
that Vim is already in Sculpt OS, however I use Emacs. I don't think anyone has
ported it yet?
Would this be a realistic goal to port Emacs to Sculpt OS as a first time Goa
user?
Thanks
__
Hello, I want to learn Genode and SculptOS so I am trying to learn how to port
applications to Genode/SculptOS as a learning experience and to help contribute
to the project.
I have never packaged an application or ported one before, so this is a first
time experience. I know that Genode is qui
Hello, I am interested in the possibility of using SculptOS as a server?
I am not sure how viable this is as I am still learning how to use SculptOS and
what capabilities it has. But to me, it seems like the perfect server OS
because it is focused on capability security and uses a micro kernel w
Hello, I have 4 NVME SSD's in my laptop. However, the Leitzentrale only allows
shows me the NVME1 slot, but it will not display NVME2, NVME3 or NVME4 to
select. I wanted to use a SSD that was in the 4 slot, so I physically had to
swap the SSD in slot 4 with slot 1 with so I could select the desi
Hello Alex, sorry for the very late reply! I have only now just gotten to test
this out, I got busy with other things.
I have just used your disposable Firefox VM and it works great! The audio works
great too! Although, as stated by Josef, switching presets can stop the audio
driver which canno
audio XML file and saving it.
I will need to do more tests to see if the audio not working was a fluke or I
was doing something incorrectly before.
Thank you, Jack Curran
___
users mailing list -- users@lists.genode.org
To unsubscribe send an email t
I can see in the documentation for SculptOS that:
"Touchpad on Intel Gen11+
Touchpads on recent Intel laptops are integrated as I2C HID devices without
legacy PS/2 emulation. To support such trackpads, a dedicated driver is needed.
Even though Sculpt OS has no built-in trackpad driver, it offers
Hello Alice, thanks for the reply. I have followed the issue on github now.
Upon reading the github issue, it appears you link to a commit that solves the
problem? So is it simply a matter of waiting for it to be merged and included
in the next release?
Cheers, Jack
32 matches
Mail list logo