Re: `guix pull` fails after fresh install

2021-08-19 Thread Gabriel Wicki
Please ignore my previous message in this thread, i sent the wrong version... Here's the right one: I was able to fix it! Yay Because this mailing list is a resource for people seeking help I'll hereby take the liberty to document how I tracked the issue down and fixed it. I added a new

Re: `guix pull` fails after fresh install

2021-08-19 Thread Gabriel Wicki
I was able to fix it! Because this mailing list is a resource for people seeking help I'll feel free to describe how i tracked the issue down and fixed it. I added a new user (through a change in the system config and `guix system reconfigure) to figure out if the problem also exists for new

Re: Librem Mini with pureboot/head don't boot GuixSD

2021-08-19 Thread Thiago Jung Bauermann
Hello Roland, Em quinta-feira, 19 de agosto de 2021, às 11:57:45 -03, Roland Everaert escreveu: > I manage to successfuly copy the needed files to /boot using the `for > each` loop from ‘%copy-kernel-and-initrd’, Thank You. That’s great! > However, I need to resize (i.e. reduce) the root

Re : Re: Librem Mini with pureboot/head don't boot GuixSD

2021-08-19 Thread Roland Everaert
Hello Thiago, I manage to successfuly copy the needed files to /boot using the `for each` loop from ‘%copy-kernel-and-initrd’, Thank You. However, I need to resize (i.e. reduce) the root filesystem so /boot can live in its own one. Currently, copying the kernel files too /boot is useless, as

Re: guix pack and exposing ports

2021-08-19 Thread Todor Kondić
Thanks Edouard! So far I'm trying to follow the route where additional things are built on top of the existing image. Also managed to trim the image to a very bearable ~150Mb once I trimmed the manifest to bare necessities. ‐‐‐ Original Message ‐‐‐ On Thursday, August 19th, 2021 at