Re: Is installing `glibc-locales` necessary on GuixSD?

Hi Guix... This is embarrassing. I sent this email before I actually reconfigured my system, and it seems like the message has gone away and the locales are working... oops! Please disregard this message! On 01/09/2024 6:57 am, Ada Stevenson wrote: Hi Guix! Congratulations to everyone

Is installing `glibc-locales` necessary on GuixSD?

Hi Guix! Congratulations to everyone who worked on the core-updates merge! A lot of things have changed though, and I was curious about this new message I've been getting whenever I invoke `guix`. hint: Consider installing the `glibc-locales' package and defining `GUIX_LOCPATH', along these

Re: SageMath packaging work

Hi Vinicus, On 01/06/2024 6:43 am, Vinicius Monego wrote: Em qua, 2024-05-22 às 09:19 +, Ada Stevenson escreveu: Hi Guix, science team! I was reaching for SageMath today and couldn't find it in the package repository. I notice there's a sagemath.scm file, but no actual SageMa

Re: No mutter on master

Hi Andreas, On 03/07/2024 8:21 pm, Andreas Enge wrote: Hello, currently I cannot reconfigure my laptop with the Xfce desktop environment due to mutter not building: Ok: 166 Expected Fail: 5 Fail: 1 Unexpected Pass:0 Skipped:0 Timeout:

ci.guix.gnu.org homepage is down

Hi Guix, I just wanted to send an email out to let people know that the homepage of CI, ci.guix.gnu.org, is down. It returns a 504 Gateway Timeout error. I was looking to see what was causing the build failure of linux-libre@6.9.6, which is when I found I couldn't access it still. I had trie

Re: Disabling authentication checks for tests in local Guix checkouts

Hi Ludo' On 17/06/2024 1:05 pm, Ludovic Courtès wrote: Hi Ada, Ada Stevenson skribis: I'm currently trying to help test the changes to GRUB submitted in issue #71348[1]. Unfortunately, `make check`, whilst building the local Guix channel, authenticates every commit. That means c

Re: Google Summer of Code Inquiry

Hi all, On 10/04/2024 6:33 am, Efraim Flashner wrote: On Tue, Apr 09, 2024 at 05:25:35PM +0200, Ludovic Courtès wrote: Hi Sebastian, Sebastian Dümcke skribis: just wanted to chime in. Since last week I have some working code to generate AppImages with guix pack. I was planning on tidying th

Disabling authentication checks for tests in local Guix checkouts

Hi Guix, I'm currently trying to help test the changes to GRUB submitted in issue #71348[1]. Unfortunately, `make check`, whilst building the local Guix channel, authenticates every commit. That means commits not signed by people in `guix-authorizations` will stop the channel from building and

SageMath packaging work

Hi Guix, science team! I was reaching for SageMath today and couldn't find it in the package repository. I notice there's a sagemath.scm file, but no actual SageMath package proper. Is there any work being done on packaging it at the moment? Are there any particular blockers preventing its pac

Re: Guix bios installation: Grub error: unknown filesystem

Hi Attila, On 4/22/24 9:04 PM, Attila Lendvai wrote: This should allow grub to recognise your filesystem during the installation process. I think using a later version of grub would fix this, but that hasn't happened yet. I think there's a patch to upgrade it in `core-updates` somewhere, but I'm

Re: Guix bios installation: Grub error: unknown filesystem

Hi Franz, On 4/19/24 2:24 PM, Franz Geffke wrote: I'm having trouble installing guix in qemu, using a "fresh" guix ISO. ``` building /gnu/store/byjlc85abyjc3fjj9z982677skmda7ib-module-import-compiled.drv... building /gnu/store/psw8xn9qpsjjnrqmjrfv0v3jj9fphq5m-module-import-compiled.drv... bui

Re: Error handling when 'guix substitute' dies

yesterday after the gnome-team merge and it was happening a lot! I wonder if it's something to do with the server? I don't know enough about networking to really theorise, haha. On 29 Mar 2024, at 16:10, Ludovic Courtès wrote: Hello, Ada Stevenson mailto:adansk...@gmail.com&

Re: Error handling when 'guix substitute' dies

Hi Ludo', On 3/24/24 11:15 AM, Ludovic Courtès wrote: Hi Ada, Ada Stevenson skribis: Sometimes, usually when I'm on an enterprise network like my university's of library's wifi, the `guix substitute` process dies with a "TLS error in procedure 'write_to_sess

Error handling when 'guix substitute' dies

Hi Guix, I have this gripe with usability regarding using substitutes. Sometimes, usually when I'm on an enterprise network like my university's of library's wifi, the `guix substitute` process dies with a "TLS error in procedure 'write_to_session_record_port': Error in the push function" err

Re: GNU and GSoC

Hi, Having Guix be part of GSoC would be fantastic! I'd love to have the opportunity to be mentored. It would be exciting for Guix to receive some more attention, as well as showing people how fun it is to hack on :) Thanks, Ada On 2/23/24 7:38 AM, Pjotr Prins wrote: The GNU project is a

Re: status of (future of) Guix QA

Hi, On 12/22/23 8:11 PM, Andy Tai wrote: Curious of the status of the future of Guix QA as package definition contributors rely on it for updating packages (sending patches to get accepted/committed) in guix... I'm curious too. Did anything come of the discussion a few weeks ago? Ada (adanksa

Re: RFI: Guix XMPP service. paid service?

Hi, On 12/14/23 7:36 AM, Ricardo Wurmus wrote: jbra...@dismail.de writes: I would like to pay $5 a month to have an xmpp account coolawesomeusern...@guix.gnu.org Are there other interested parties? It might be a possible way to generate $$ to continue developing guix. I’d rather not comme

Re: RFI: Guix XMPP service.

Hi, On 12/10/23 4:04 PM, MSavoritias wrote: On 12/10/23 17:56, Vivien Kraus wrote: Le dimanche 10 décembre 2023 à 17:45 +0200, MSavoritias a écrit : There is also a trust issue. For acceptance, we need bridging. For bridging, we need policing. And for policing, we need people with time. I a

Re: Add xmpp room to the list of group chats.

Hi, On 12/7/23 11:25 AM, MSavoritias wrote: On 12/7/23 09:42, Ada Stevenson wrote: Hi, On 12/2/23 8:20 AM, MSavoritias wrote: Hey, I thought this mailing list is the most fitting for the request feel free to point out if its better somewhere else. Is the community open to have group

Re: Add xmpp room to the list of group chats.

Hi, On 12/2/23 8:20 AM, MSavoritias wrote: Hey, I thought this mailing list is the most fitting for the request feel free to point out if its better somewhere else. Is the community open to have group chats listed in other networks than IRC assuming they are free software? Having chat grou

Re: Questions about packages because of license and other

Hi, On 12/6/23 8:36 PM, Christian Miller wrote: Hi, 1. PrismLauncher[0]: The software itself is licensed as GPL3 but it is used to download and launch a proprietary videogame called "Minecraft". Since it is itself GPL3 licensed but used for a proprietary videogame, would it be allowed for upst

Re: Making linux-libre@6.5 the default kernel

d some help - even if it isn't full-time! Thanks! Ada (adanska) On 10/8/23 6:17 PM, Leo Famulari wrote: On Tue, Oct 03, 2023 at 11:05:40AM +, Ada Stevenson wrote: Hi Guix! Hi! I understand why that may be; the commit is quite new, and pushing new kernel versions on everyone is a p

Making linux-libre@6.5 the default kernel

Hi Guix! I saw that linux-libre@6.5 was merged upstream today - however, it hasn't been made the default yet. I understand why that may be; the commit is quite new, and pushing new kernel versions on everyone is a pretty big thing. I just want to know what the timeline on this sort of thing