Package: guix-patches;
Reported by: Stefan Karrmann <S.Karrmann <at> web.de>
Date: Sat, 26 Nov 2022 21:14:01 UTC
Severity: normal
Tags: patch
Message #23 received at 59619 <at> debbugs.gnu.org (full text, mbox):
From: Stefan Karrmann <S.Karrmann <at> web.de> To: 59619 <at> debbugs.gnu.org Subject: [bug#59619] [PATCH] grub-configfile - guix shell ... ./pre-inst-env Date: Sun, 29 Jan 2023 19:33:23 +0100
Dear all,
I managed to run guix directly in my guix git-clone. A peek shows that the
new menu-entry works initially. Later, it runs into an
record-abi-mismatch-error. I suspect, that this happens on the side of the
guix-daemon. Is this really the problem? How can we handle it?
$ ./pre-inst-env ~/guix-clone/scripts/guix system vm /home/sk/guix/system-initial.scm --share=/ --full-boot --root=/home/sk/guix/vm
;;; (#<<menu-entry> label: "Grub config" device: #<<uuid> type: dce bv: #vu8(92 187 154 112 163 200 67 132 160 133 158 104 150 5 131 67)> device-mount-point: #f linux: #f linux-arguments: () initrd: #f multiboot-kernel: #f multiboot-arguments: () multiboot-modules: () config-file: "/boot/grub/grub.cfg" chain-loader: #f>)
Backtrace:
In guix/store.scm:
1300:8 19 (call-with-build-handler #<procedure 7fc711da4960 at g?> ?)
2170:25 18 (run-with-store #<store-connection 256.99 7fc711aac4b0> ?)
In guix/scripts/system.scm:
850:2 17 (_ _)
In guix/gexp.scm:
1180:2 16 (_ _)
1046:2 15 (_ _)
892:4 14 (_ _)
In guix/store.scm:
2055:12 13 (_ #<store-connection 256.99 7fc711aac4b0>)
1382:11 12 (map/accumulate-builds #<store-connection 256.99 7fc71?> ?)
1300:8 11 (call-with-build-handler #<procedure 7fc71026d9f0 at g?> ?)
2170:25 10 (run-with-store #<store-connection 256.99 7fc711aac4b0> ?)
In guix/gexp.scm:
897:13 9 (_ _)
In guix/store.scm:
1998:13 8 (_ #<store-connection 256.99 7fc711aac4b0>)
In guix/gexp.scm:
299:51 7 (_)
In unknown file:
6 (with-fluids* (#<fluid 7fc726ac1220>) (#f) #<procedure ?>)
In guix/gexp.scm:
733:29 5 (_)
In gnu/system/image.scm:
938:21 4 (_)
In gnu/system.scm:
1448:26 3 (operating-system-bootcfg #<<operating-system> kernel:?> ?)
521:4 2 (boot-parameters->menu-entry _)
In ice-9/boot-9.scm:
1685:16 1 (raise-exception _ #:continuable? _)
1685:16 0 (raise-exception _ #:continuable? _)
ice-9/boot-9.scm:1685:16: In procedure raise-exception:
Throw to key `record-abi-mismatch-error' with args `(abi-check "~a: record ABI mismatch; recompilation needed" (#<record-type <menu-entry>>) ())'.
---- system-config.scm
;; this is based on znavko's Dual Boot config
;; with the second OS in GRUB on the separate hdd /dev/sda9 ( grub: (hd1,gpt8) )
(use-modules (gnu)
(gnu system nss)
(gnu system locale) ;;for locale-definition
(gnu services desktop)
(gnu services networking) ;;for remove ntp
(gnu services avahi) ;;for remove avahi - an dns?
(gnu services xorg)
(gnu services admin) ;;for unattended-upgrades
(gnu packages admin) ;;for wpa_supplicant
(gnu packages suckless)
(gnu packages networking) ;; iwd
(srfi srfi-1) ;;for remove function
)
(use-modules (system vm inspect)
(ice-9 pretty-print)) ;; debugging$
(use-modules (gnu packages linux)) ;; free/libre linux
(use-service-modules desktop networking base xorg)
(use-package-modules certs wm suckless)
(define (peek . stuff)
(newline)
(display ";;; ")
(write stuff)
(newline)
(car (last-pair stuff)))
(define pk peek)
(define guix-ext-root
(file-system (device (file-system-label "guix-ext"))
(mount-point "/")
(type "btrfs")
; (options "subvol=guix-root/work,noatime")
(needed-for-boot? #t)))
(define guix-ext-boot
(file-system (device (file-system-label "guix-ext-boot"))
(mount-point "/boot")
(options "subvol=boot/work")
(type "btrfs")
(needed-for-boot? #f))) ; only by grub upto initrd
(define guix-ext-efi
(file-system (device (file-system-label "GUIX-EXT-EF"))
(mount-point "/boot/efi")
#;(mount-point "/sys/firmware/efi/efivars")
(type "vfat")))
(operating-system
(host-name "johann") (timezone "Europe/Berlin") (locale "de_DE.utf8")
(keyboard-layout (keyboard-layout "de"))
(initrd-modules (cons*
"btrfs"
%base-initrd-modules))
(kernel linux-libre) ; gnu libre
(firmware (cons* %base-firmware))
(kernel-arguments (cons*
"rootdelay=3"
; now default subvol: "rootflags=subvol=/guix-ext/work"
(remove (lambda (option) (string=? option "quiet")) %default-kernel-arguments)))
(bootloader (bootloader-configuration
(bootloader
(bootloader
(inherit grub-bootloader) (installer #~(const #t))))
; (bootloader grub-bootloader)
(targets (list "/dev/sdb"))
(keyboard-layout keyboard-layout)
(menu-entries (list
(pk (menu-entry
(label "Grub config")
(device (uuid "5cbb9a70-a3c8-4384-a085-9e6896058343"))
(config-file "/boot/grub/grub.cfg")))
(menu-entry
(label "Debian")
(linux "(hd1,gpt8)/boot/vmlinuz") ; generates nonsens: search --file --set /guix-root/work(hd1,gpt8)/boot/vmlinuz
(linux-arguments '("root=/dev/sda9")) ; dito dito
(initrd "(hd1,gpt8)/boot/initrd.img"))))))
(file-systems (cons*
guix-ext-root
guix-ext-boot
guix-ext-efi
%base-file-systems))
(swap-devices
(list (swap-space (target (uuid "d48bfe0f-9715-4267-81c9-b1503144fab6")))))
(users (cons* (user-account
(name "sk") (uid 1000) (group "sk")
(supplementary-groups '("users" "wheel" "netdev" "audio" "video"))
(home-directory "/home/sk"))
%base-user-accounts))
(groups (cons* (user-group (name "sk") (id 1000))
%base-groups))
;; This is where we specify system-wide packages.
(packages (cons* nss-certs ;for HTTPS access
i3-wm i3status dmenu
dwm
iwd ; needs dbus...
slock st
%base-packages))
(locale-definitions (list (locale-definition (name "de_DE.utf8") (source "de_DE"))
(locale-definition (name "en_US.utf8") (source "en_US"))))
(services (cons*
(set-xorg-configuration
(xorg-configuration ;for Xorg
(keyboard-layout keyboard-layout)))
(screen-locker-service slock)
(modify-services
;; removing unnecessary services
(remove (lambda (service)
(member (service-kind service)
(list ntp-service-type avahi-service-type
bluetooth-service
gdm-service-type)))
%desktop-services) ;end of remove lambda services
) ;;end of modify-services
)) ;;end of services
;; Allow resolution of '.local' host names with mDNS.
(name-service-switch %mdns-host-lookup-nss)
;;blacklist ugly sound speaker, blacklist
#;(kernel-arguments '("modprobe.blacklist=pcspkr,snd_pcsp,bluetooth"))
) ;;end of operating-system
----
--
Stefan Karrmann
Sichere Kommunikation? GPG: 0x8C3260C01550B612E4C5730D22E42112094CE53F
An sich ist nichts weder gut noch böse. Erst das Denken mach es dazu.
-- William Shakespeare (Hamlet)
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.