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 commits
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
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
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
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
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...
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>>
s
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_session_record_port':
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"
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
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
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
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
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
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
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
)
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 pretty big thing. I just want to know what
the timeline on this sort
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
18 matches
Mail list logo