Hello, On my guix system, I did a simple guix pull then sudo guix system reconfigure /etc/config.scm but at the end of the process, when updating the boot loader, the following message appears in the console:
construction de /gnu/store/15g01mbkxmjhy5fbl1cnwazf5bs4p5yl-install- bootloader.scm.drv... guix system: erreur : '/gnu/store/b923c23w9qr185xk40392434dm85wd72- grub-efi-2.12/sbin/grub-install --bootloader-id=Guix --boot-directory //boot --efi-directory //boot/efi' exited with status 1; output follows: Installation pour la plate-forme x86_64-efi. Could not prepare Boot variable: No space left on device /gnu/store/b923c23w9qr185xk40392434dm85wd72-grub-efi-2.12/sbin/grub- install : erreur : efibootmgr n'a pas réussi à enregistrer l'entrée de démarrage: Erreur d'entrée/sortie. I checked my partitions, which all have enough free space: /boot/efi 14% occupied space / 39% occupied space /gnu/store 39% occupied space Note that I'm dual-boot with ubuntu (24.10), but I hardly ever use this partition. Any idea to help me? Christophe
