From mboxrd@z Thu Jan 1 00:00:00 1970 From: Jan Subject: Re: Installing Guix System on an external hard drive Date: Fri, 15 Nov 2019 17:23:35 +0100 Message-ID: <20191115172335.7e3b9002@kompiuter> References: <20191112232532.32f0cdb0@interia.pl> <20191113065329.GN3954@E5400> <20191113201538.29973b27@kompiuter> <87bltdgpos.fsf@devup.no> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:51604) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iVeNy-0006jM-HW for help-guix@gnu.org; Fri, 15 Nov 2019 11:23:52 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iVeNx-0000CV-0E for help-guix@gnu.org; Fri, 15 Nov 2019 11:23:50 -0500 Received: from smtpo.poczta.interia.pl ([217.74.65.233]:46172) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iVeNw-0000AO-8J for help-guix@gnu.org; Fri, 15 Nov 2019 11:23:48 -0500 In-Reply-To: <87bltdgpos.fsf@devup.no> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Marius Bakke Cc: help-guix@gnu.org On Fri, 15 Nov 2019 15:49:23 +0100 Marius Bakke wrote: > Did you get the same error when you mounted at /boot/efi? Yes. > If you want the USB drive to be 'portable', i.e. not tied to a single > system, you can not use 'grub-efi-bootloader'. The reason is that > grub-efi relies on updating UEFI firmware variables *on the running > system*, to make the newly installed bootloader show up in the UEFI > boot menu. > > For the same reason, it is not possible to use it on a non-UEFI > system. > > It would be good to have a 'grub-standalone-bootloader' procedure that > would write a self-contained UEFI firmware executable to a standard > location, similar to what Guix does for disk images: > > https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/build/vm.scm?id=4dcf32b56b824efcdb181c9f4cc7ee6c8a0ba125#n399 > > Would you like to try implementing it? Well, I could try as a Scheme learning exercise, but it would take me some time, because I'm a fresh Guile coder and the only thing I know about UEFI is that it has a buggy implementation on my motherboard and GRUB goes to hell :) Any hint where could I start? Jan Wielkiewicz