Re: The `channels' field of `operating-system' record

2024-05-08 Thread Tomas Volf
On 2024-04-10 17:17:27 +0200, Ludovic Courtès wrote: > Yes, we could change the default to #f: it’s equivalent to > ‘%default-channels’ but wouldn’t cause the undesirable side effect you > experienced. > > Do you want to prepare a patch (or two)? :-) Well it took me approximately forever to get to

Re: The `channels' field of `operating-system' record

2024-04-19 Thread Ludovic Courtès
Hi, Tomas Volf <~@wolfsden.cz> skribis: > On 2024-04-10 17:17:27 +0200, Ludovic Courtès wrote: [...] >> Yes, why is that? At first sight, that’s because ‘extra-special-file’ >> does things at activation time; there’s no check happening at >> configuration time. >> >> It was really meant for /b

Re: The `channels' field of `operating-system' record

2024-04-15 Thread Tomas Volf
On 2024-04-10 17:17:27 +0200, Ludovic Courtès wrote: > Hello, > > Tomas Volf <~@wolfsden.cz> skribis: > > > After ~2 hours of digging I realized this is caused by the changes in > > 883e69cdfd226c8f40b6e3b76ce0740b59857de6. > > > > I see couple of issues here (in no particular order, questions pref

Re: The `channels' field of `operating-system' record

2024-04-10 Thread Ludovic Courtès
Hello, Tomas Volf <~@wolfsden.cz> skribis: > After ~2 hours of digging I realized this is caused by the changes in > 883e69cdfd226c8f40b6e3b76ce0740b59857de6. > > I see couple of issues here (in no particular order, questions prefixed with > Q): > > * My configuration file just *silently* stoppe

Re: The `channels' field of `operating-system' record

2024-04-09 Thread Development of GNU Guix and the GNU System distribution.
Hi Nathan, On Mon, Apr 08 2024, Nathan Dehnel wrote: > I don't think you're supposed to edit /etc/guix/channels.scm directly, > I think it's generated by guix system reconfigure. As Ludo' pointed out on Mastodon recently [1] the system channels can also be customized, if needed. [2] Kind regard

Re: The `channels' field of `operating-system' record

2024-04-09 Thread Tomas Volf
On 2024-04-08 23:06:00 -0500, Nathan Dehnel wrote: > I don't think you're supposed to edit /etc/guix/channels.scm directly, Is this documented anywhere? I used the code for over a year and it worked just fine. I cannot find any instruction to not touch it anywhere in the info manual. > I think

Re: The `channels' field of `operating-system' record

2024-04-09 Thread Tomas Volf
On 2024-04-09 06:16:12 +0200, Marek Paśnikowski wrote: > 09.04.2024 06:06:00 CEST Nathan Dehnel: > > I don't think you're supposed to edit /etc/guix/channels.scm directly, > > I think it's generated by guix system reconfigure. > > https://gitlab.com/nonguix/nonguix/-/issues/33 > > I have ~/.config/

Re: The `channels' field of `operating-system' record

2024-04-09 Thread Marek Paśnikowski
09.04.2024 06:06:00 CEST Nathan Dehnel: > I don't think you're supposed to edit /etc/guix/channels.scm directly, > I think it's generated by guix system reconfigure. > https://gitlab.com/nonguix/nonguix/-/issues/33 > I have ~/.config/guix/channels.scm generated by putting > home-channels-service-ty

The `channels' field of `operating-system' record

2024-04-08 Thread Nathan Dehnel
I don't think you're supposed to edit /etc/guix/channels.scm directly, I think it's generated by guix system reconfigure. https://gitlab.com/nonguix/nonguix/-/issues/33 I have ~/.config/guix/channels.scm generated by putting home-channels-service-type in my guix home config.

The `channels' field of `operating-system' record

2024-04-07 Thread Tomas Volf
Hello, yesterday I had to debug a really weird problem. I had a extra-special-file in my system configuration used to create /etc/guix/channels.scm, but it was not working, the channels file contained something completely else then I put into it. In particular, this sequence in the configuration