Le 2018-07-05 09:39, Roel Janssen a écrit :
Dear Guix,I ran: $ guix system reconfigure /etc/config.scm Which succeeded. Then rebooted, to find that my computer wouldn't boot anymore due to a missing EFI entry. So I created a new entry from a LiveUSB using “efibootmgr” to boot into GuixSD again. Is this a known problem, and will it happen again when I reconfigure the system? Kind regards, Roel Janssen
Hi Roel, this shouldn't happen. Can you share your configuration?
