core-updates?

2023-11-20 Thread Andy Tai
Hi, I hope core-updates is the mean for some patches to get merged; I have a two-line addition patch that may cause rebuilds of 10K packages but I would think asking for a feature branch for such a patch is overkill. so I sent it to target core-updates and hope this can be a quicker way for it to

Re: Request-For-Comment process: concrete implementation

2023-11-20 Thread Simon Tournier
Hi Ludo, Thanks for giving a look. On Thu, 16 Nov 2023 at 16:03, Ludovic Courtès wrote: > Thanks for starting the discussion! I think that getting such a process > in place is key to sustain friction-less development of Guix, giving > everyone a chance to have their voice heard. Do you have c

Re: [maintenance] Compressed JSON files and served file extension?

2023-11-20 Thread Simon Tournier
Hi, On Thu, 16 Nov 2023 at 15:40, Ludovic Courtès wrote: >> However, now I get: >> >> $ wget https://guix.gnu.org/sources.json > > If you open it in a browser though, it’s fine, because browsers and in > fact many HTTP clients other than wget, honor ‘Content-Encoding’: [...] > That said, if yo

Re: $EDITOR and “guix edit”

2023-11-20 Thread Simon Tournier
Hi, On Thu, 16 Nov 2023 at 17:04, Liliana Marie Prikler wrote: >> It’d be nice to support these as well.  However, how do we know we’re >> dealing with kate or VSCode?  By checking the basename of $EDITOR? >> Kinda ugly and brittle, but probably better than nothing. > > Maybe we can check for a

Re: Confusing overview of mailing lists

2023-11-20 Thread Efraim Flashner
On Thu, Nov 16, 2023 at 02:37:43AM +0100, Erik Grun wrote: > Hello, Guix, > > For some time now I've been using Guix on a few test machines. I have to > say, that I really like it. So much so, that I've now finally wanted to get > involved a bit closer. So I went to this page[1] with the overview

Re: core-updates?

2023-11-20 Thread Development of GNU Guix and the GNU System distribution.
Hi Andy, On Mon, Nov 20 2023, Andy Tai wrote: > I have a two-line addition patch that may cause rebuilds of > 10K packages What's the patch, please? Kind regards Felix

Re: [maintenance] Compressed JSON files and served file extension?

2023-11-20 Thread Attila Lendvai
TL;DR the filename shouldn't contain the .gz extension, and the HTTP standard is crap ("If no Accept-Encoding field is present in a request, the server MAY assume that the client will accept any content coding."). use curl --compressed the details: the Content-Encoding response header instruct

Re: $EDITOR and “guix edit”

2023-11-20 Thread Liliana Marie Prikler
Am Montag, dem 20.11.2023 um 10:40 +0100 schrieb Simon Tournier: > Hi, > > On Thu, 16 Nov 2023 at 17:04, Liliana Marie Prikler > wrote: > > > > It’d be nice to support these as well.  However, how do we know > > > we’re dealing with kate or VSCode?  By checking the basename of > > > $EDITOR? Ki

"random check" approach to Guix QA?

2023-11-20 Thread Andy Tai
Hi, currently Guix QA tries to rebuild all dependent packages impacted by a change (in majority of cases updates to a new version of a package). When there are a large number of dependent packages like say 500 or 1000 or more, rebuilding all that takes a long time and often the rebuild cannot comp

Re: Better support remote deployment

2023-11-20 Thread Tomas Volf
On 2023-11-16 16:23:00 +0100, Ludovic Courtès wrote: > Hi, > > Maxim Cournoyer skribis: > > > Felix Lechner writes: > > [...] > > >> How about a 'remote-user-profile'? > > > > 'guix package' is already the command we use to create profiles; maybe > > it could accept a '--remote' argument to o