all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Timothy Sample <samplet@ngyro.com>
To: Joshua Branson <jbranso@dismail.de>
Cc: 33953@debbugs.gnu.org
Subject: bug#33953: reconfigure not working tl; dr : EFI not mounted to /boot/efi
Date: Wed, 02 Jan 2019 17:27:19 -0500	[thread overview]
Message-ID: <877efmzoe0.fsf@ngyro.com> (raw)
In-Reply-To: <871s5v8ahu.fsf@dismail.de>

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 

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

in my “file-systems” 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’t.  The store is supposed to be immutable.

> [...]

Hope that helps!


-- Tim

  reply	other threads:[~2019-01-02 22:28 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-01-02 13:17 bug#33953: reconfigure not working tl; dr : EFI not mounted to /boot/efi Joshua Branson
2019-01-02 22:27 ` Timothy Sample [this message]
2019-01-03 10:53   ` Joshua Branson
2020-04-07 13:27     ` Marius Bakke

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=877efmzoe0.fsf@ngyro.com \
    --to=samplet@ngyro.com \
    --cc=33953@debbugs.gnu.org \
    --cc=jbranso@dismail.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.