From mboxrd@z Thu Jan  1 00:00:00 1970
From: Timothy Sample <samplet@ngyro.com>
Subject: bug#33953: reconfigure not working tl;
	dr : EFI not mounted to /boot/efi
Date: Wed, 02 Jan 2019 17:27:19 -0500
Message-ID: <877efmzoe0.fsf@ngyro.com>
References: <871s5v8ahu.fsf@dismail.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([208.118.235.92]:55288)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1geozi-0002t5-D7
	for bug-guix@gnu.org; Wed, 02 Jan 2019 17:28:11 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1geozc-0003ew-Lt
	for bug-guix@gnu.org; Wed, 02 Jan 2019 17:28:08 -0500
Received: from debbugsout.gnu.org ([209.51.188.43]:44509)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
	id 1geozc-0003eP-Bp
	for bug-guix@gnu.org; Wed, 02 Jan 2019 17:28:04 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1geoza-0007CU-6Q
	for bug-guix@gnu.org; Wed, 02 Jan 2019 17:28:04 -0500
In-Reply-To: <871s5v8ahu.fsf@dismail.de>
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.33953.B33953.154646804927621@debbugs.gnu.org>
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix/>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: Joshua Branson <jbranso@dismail.de>
Cc: 33953@debbugs.gnu.org

Hi Joshua,

Joshua Branson <jbranso@dismail.de> writes:

> Hello,
>
> This is a really minor bug, but basically grub-install command is
> failing on reconfigure.  It is failing, because /dev/sda1 (my EFI) is
> not mounted at /boot/efi.  In the config examples in the manual, it does
> not show a
>
> #+BEGIN_SRC scheme
> (file-system
>    (type "vFAT")
>    (device (file-system-label "EFI"))
>    (mount-point "/boot/efi"))
> #+END_SRC
>
>
> And indeed /dev/sda1, which is my EFI is not mounted.

I believe this is precisely what is missing.  I have an EFI machine with
GuixSD, and I have=20

    (file-system
     (device "/dev/sda1")
     (mount-point "/boot/efi")
     (type "vfat"))

in my =E2=80=9Cfile-systems=E2=80=9D section.

I agree with you that the manual could be more clear.  In the
installation section, it mentions needing an EFI partition that is
mounted, but it never spells out that this needs to be included in the
operating system configuration.  I am not sure how exactly to fix it
though.  If you were willing propose something, that would be very
helpful!

> $ mount  | grep /dev
> /dev/sda3 on / type ext4 (rw,relatime)
> /dev/sda4 on /home type ext4 (rw,relatime)
> /dev/sda5 on /home/joshua/prog type ext4 (rw,relatime)
> /dev/sda3 on /gnu/store type ext4 (ro,relatime)
>
> Also why is /dev/sda3 mounted in 2 places?  Is that normal?

Yes.  The store is mounted read-only to prevent things (other than the
Guix Daemon) from modifying it.  You can remount it so that it is
writable, but you shouldn=E2=80=99t.  The store is supposed to be immutable.

> [...]

Hope that helps!


-- Tim