Finally managed to create a #Gentoo #Ebuild for compiling #Dafny that does not access the network.

#Dafny is a verification-aware programming language written in #dotnet.

It took a long time of preparation and testing to satisfy #Portage with the new dotnet-pkg eclass and probably would not be possible without help from Anna "navi" Gomes.

https://gitlab.com/xgqt/gentoo-dotnet-2023/-/commit/8ebab6cb3ea4a8cabeb6d11c0e5d09e01365a93d

Finally, I was able to create a #Gentoo #Ebuild for #Mobilizon that builds the package from sources: https://git.chuso.net/chuso/chuso-overlay/src/branch/main/www-apps
But it still needs to bypass the network sandbox because the build process includes fetching a ton of dependencies from the Internet.
That should be the next step for a "proper" package, but not an easy one.

Done.
The repository is moved now: https://github.com/chusopr/chuso-overlay/commit/7a805a3351c612f4afa0897c1b24dd5eab58c44d
and I updated the URL in the first toot to point to the new URL.
The best way I found to move a #Gentoo #ebuild repository to a new URL was by deleting all packages in the old URL and masking them with a message pointing to the new URL. Is there any better way?

I've been testing it for a few weeks and it seems to work fine, so here it is a Gentoo package for fediverse web app Mobilizon for organizing events (similar to MeetUp) in my Gentoo personal repository:
https://github.com/chusopr/chuso-overlay/tree/master/www-apps/mobilizon-bin
For now I'm using the precompiled version because compiling Erlang packages is such a pain and I was still not able to make offline compilation work.
#Gentoo #ebuild #fediverse

Unfortunately, #Gentoo doesn't have an #ebuild for #Cozy. So I updated one I found on the internet [1] and added that to my #overlay [0].

Links:
[0] https://git.chaostreffbern.ch/vimja/overlay
[1] https://data.gpo.zugaina.org/linxon/media-sound/cozy/

Does anyone know if there's an #ebuild for #Gentoo for the #Session #desktop client? I didn't find one at https://gpo.zugaina.org/
@session

Weiß jemand ob es ein #Ebuild für #Gentoo für den #Session-#Desktop-Client gibt? Auf https://gpo.zugaina.org/ habe ich keins gefunden.

#racket

Interactive #gentoo #ebuild ebuild creation with Racket-Ebuild (WIP)

Generating #gentoo #ebuild package metadata from #racket code: "upstream" done

#Gentoo #GURU repository has some packages that need a maintainer.
To be a maintainer in the GURU project one does not have to be developer and only knowledge of #portage and #ebuild scripts is required.
If you use Gentoo and want to help with relatively easy work, join the Gentoo GURU project, more info: https://wiki.gentoo.org/wiki/Project:GURU

#Broot looks like a fun and exciting way to handle directory browsing in a #Linux #terminal. But it's not in #Gentoo #Portage, so here's my suggestion for an #Ebuild package: https://github.com/creideiki/portage/tree/master/app-misc/broot

People keep saying I should try #Go, so I thought I would start softly by making a #Gentoo #Ebuild for @telephant. How hard could it be? Very, apparently. The Qt bindings are weird for us old farts used to "configure && make && make install".

If I manage to post this message, that at least means it runs, so have a horribly hacky package for the binary release while I go read some more about how the Go ecosystem works: https://github.com/creideiki/portage/tree/master/net-im/telephant-bin

Just started my migration to the 17.0 plasma/systemd profile in #gentoo. Requires a rebuild of the whole system. 1229 #ebuild to build. At least afterwards all the binaries will be #PIE