Thanks for the feedback. I hadn't really considered installing on a VM, so that's another scenario to think about. I agree that the 'filesystems' page could be better thought out and made a bit less
Mark H Weaver <address@hidden> skribis: Good! I was going to do that but didn’t have time to check whether it would cause problems on my non-Apple laptop (unlikely I guess.) I guess you didn’t no
I've attached two patches to add more modules to the base-initrd. The first adds the 'hid-generic' and 'hid-apple' modules, which are needed to allow the user's disk encryption passphrase to be enter
Hi! Patrick Hetu <address@hidden> skribis: (gnu build file-systems) is where “fsck.foo” is invoked, in ‘check-file-system’. The other place to look at is ‘base-initrd’ in (gnu system linu
Hi Guix, I tryed install GuixSD in a PC (Dell Optiplex 7010) in my work, but there is a error: "guix grub-bios-setup: This GPT partition label contains no BIOS boot partition" P.S.: I use the Legacy
Assaf Gordon <address@hidden> skribis: OK. “gnu-disk-image” is the label of the root partition of the USB installation image (see gnu/system/install.scm.) However, the user’s root can carry any
Hello! There’s been some progress towards having an image for installing the GNU system from a USB stick. Here’s a summary of the things recently introduced toward that goal: • ‘guix system d
Maybe the device file is called different from /dev/sda3? On one VPS of mine (which also happens to have Guix installed via rescue mode) the root is mounted from /dev/vda1. Linux-based systems typic
I just logged into my linode server...your script defaults to a btrfs filesystem right? When I tried to add an additional disk in linode just now, the only supported filesystem was ext4. Does linode
Hello, following the good guidelines from (info "(guix-cookbook) Running Guix on a Kimsufi Server") and (info "(guix-cookbook) Running Guix on a Linode Server") I'm developing a shell script to autom
Hi RG, This already possible in some form: when booting, I can (optionally) select an older system generation to boot (at least in GRUB). The question is, I guess, would it be feasible to allow defin
I finally got all the pieces for my new desktop and went through the Guix System installer (for the first time) and wanted to share how it went. I too got tricked by the ISO being xz compressed and a
Le Thu, 14 Nov 2019 12:05:34 +0100, "pelzflorian (Florian Pelz)" <address@hidden> a écrit : It's not officially recommended, but we have used and proposed it on IRC in the past. The overdrive at my
Yes, thank you! I have not tried yet though. Maybe add the top add instructions what to do if installation fails (i.e. flash the SD with another operating system and start anew). Is installing on the
This is interesting, but I am not familiar enough to try to quickly change the guix package and I am not going to invest time in that. The reason I was interested is that the CPU supposedly can run 6
I spent part of today staring at grub https://www.gnu.org/software/grub/manual/html_node/Installing-GRUB-using-grub_002dinstall.html#Installing-GRUB-using-grub_002dinstall if efi-directory is /boot/e
Hello, To reconfigure my system on UEFI, I had to apply this patch: modified gnu/bootloader/grub.scm @@ -401,7 +401,8 @@ submenu \"GNU system, old configurations...\" {~%") ;; root partition. (setenv
Leo Famulari transcribed 3.0K bytes: IN-Berlin wants a raw image (they have read our documentation). The way their system works is that you sent them your ssh pubkey, they initialize a basic Debian s
Not exactly... Serveraptor offers users a set of images to choose from, but they don't have a method by which users can upload their own images. You'd have to make a special arrangement for that. So
easier for I agree user management is downstream of the install. But in practice I need an "admin" user with sudo/su to manage a headless server. Otherwise I would have to allow login to root over ss