On Sun, Jan 23, 2022 at 06:56:37PM +0100, Maxime Devos wrote:
> Make sure the computer's boot process is configured to the correct mode
> -- UEFI or BIOS (sometimes called ‘Legacy mode’). Which of the two
> you want depend on what exactly you are doing.
BIOS doesn't have a legacy mode option that I could see (motherboard MSI
MPG z490 gaming plus). So for this system I am stuck with uefi (I think)
> What dou you mean with ‘doesn't get recognised by the bios on boot’ --
> what exactly does the boot process say?
> About ‘grub-efi wouldn't get installed’ -- this is rather vague, do you
> have some kind of error message or something?
After installing guix when it tells me to reboot, the next boot will
simply not boot. There is no error within guix or any indication of a
problem.
Even now when running `guix system reconfigure /etc/config.scm`
the output says:
```
building
/gnu/store/gh6k581m0qddzrc601rj49j0v3fyim5x-install-bootloader.scm.drv...
guix system: bootloader successfully installed on '/boot/efi'
The following derivation will be built:
/gnu/store/siwn6q6kyxacjz1wdkwd8lm6w18606g8-upgrade-shepherd-services.scm.drv
...
```
But the system still boots with debian's grub first which then I can
chain to guix's grub. I'd expect guix to override the boot or at least
to see the option in the bios
> Also, it would be useful to see the actual system configuration
> (the (operating-system [...])).
>
> Greetings,
> Maxime.
>
;; This is an operating system configuration template
;; for a "desktop" setup with GNOME and Xfce where the
;; root partition is encrypted with LUKS.
(use-modules (gnu) (gnu system nss))
(use-modules (gnu packages vim))
(use-service-modules desktop xorg)
(use-package-modules certs gnome suckless wm)
(use-modules (gnu packages version-control))
(use-modules (gnu packages gnuzilla))
(use-modules (gnu packages mail))
(use-modules (gnu packages xorg))
(operating-system
(host-name "higuix")
(timezone "Europe/London")
(locale "en_GB.utf8")
;; Choose US English keyboard layout. The "altgr-intl"
;; variant provides dead keys for accented characters.
(keyboard-layout (keyboard-layout "gb"))
;; Use the UEFI variant of GRUB with the EFI System
;; Partition mounted on /boot/efi.
(bootloader (bootloader-configuration
(bootloader grub-efi-bootloader)
(target "/boot/efi")
(keyboard-layout keyboard-layout)))
;; Specify a mapped device for the encrypted root partition.
;; The UUID is that returned by 'cryptsetup luksUUID'.
(mapped-devices
(list (mapped-device
(source (uuid "44b08e72-ec09-4c5d-a2f4-d166085ead55"))
(target "my-root")
(type luks-device-mapping))))
(file-systems (append
(list (file-system
(device (file-system-label "my-root"))
(mount-point "/")
(type "ext4")
(dependencies mapped-devices))
(file-system
(device (file-system-label "my-boot"))
(mount-point "/boot")
(type "ext4")
(dependencies mapped-devices))
(file-system
(device (uuid "17BE-8961" 'fat))
(mount-point "/boot/efi")
(type "vfat")))
%base-file-systems))
;; Create user `bob' with `alice' as its initial password.
(users (cons (user-account
(name "bob")
(comment "Alice's brother")
(password (crypt "alice" "$6$abc"))
(group "users")
(supplementary-groups '("wheel" "netdev"
"audio" "video")))
%base-user-accounts))
;; This is where we specify system-wide packages.
(packages (append (list
vim
git
icecat
mutt
i3-wm
i3status
xrandr
;; for HTTPS access
nss-certs
;; for user mounts
gvfs)
%base-packages))
;; Add GNOME and Xfce---we can choose at the log-in screen
;; by clicking the gear. Use the "desktop" services, which
;; include the X11 log-in service, networking with
;; NetworkManager, and more.
(services (append (list (service xfce-desktop-service-type)
(set-xorg-configuration
(xorg-configuration
(keyboard-layout keyboard-layout))))
%desktop-services))
;; Allow resolution of '.local' host names with mDNS.
(name-service-switch %mdns-host-lookup-nss))
