GNU bug report logs - #33953
reconfigure not working tl;dr : EFI not mounted to /boot/efi

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 33953 in the body.
You can then email your comments to 33953 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Joshua Branson <jbranso <at> dismail.de>
To: bug-guix <at> gnu.org
Subject: reconfigure not working tl;dr : EFI not mounted to /boot/efi
Date: Wed, 02 Jan 2019 08:17:17 -0500

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.

$ 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?

Here is how I've got everything partitioned.

$ fdisk /dev/sda p
Disk /dev/sda: 232.9 GiB, 250059350016 bytes, 488397168 sectors
Units: sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disklabel type: gpt
Disk identifier: 860B0AE9-004D-4D11-92D1-594114D285B5

Device         Start       End   Sectors  Size Type
/dev/sda1       2048   1050623   1048576  512M EFI System
/dev/sda2    1050624   3905535   2854912  1.4G Linux swap
/dev/sda3    3905536 160155647 156250112 74.5G Linux filesystem
/dev/sda4  160155648 355469311 195313664 93.1G Linux filesystem
/dev/sda5  355469312 394530815  39061504 18.6G Linux filesystem

I'm running a Macbook 7,1.

Here is a copy of my config:

#+BEGIN_SRC scheme
;; This is my guixSD configuration with the awesome window manager.
(use-modules (gnu) (gnu system nss))
;; for read-string
;;(sxml ssax input-parse))
(use-service-modules desktop xorg sysctl)
(use-package-modules certs wm)
;;(define my-keyboard
;;  (call-with-input-file "/etc/config.d/01-keyboard.conf" read-string))
;;(define my-touchpad
;;  (call-with-input-file "/etc/config.d/02.touchpad.conf" read-string))

;; I want to make my touchpad work on tapping
;; but this is not correct apparently...
(define my-touchpad
  "Section \"InputClass\"
  Identifier \"touchpad\"
  Driver \"synaptics\"
  MatchIsTouchpad \"on\"
  Option \"TapButton1\" \"1\"
  Option \"TapButton2\" \"3\"
  Option \"TabButton3\" \"2\"
  EndSection")

;; I want X to use dvorak and swap caps
(define my-dvorak
  "Section \"InputClass\"
  Identifier \"evdev keyboard catchall\"
  Driver \"evdev\"
  MatchIsKeyBoard \"on\"
  Option \"xkb_layout\"  \"dvorak\"
  Option \"xkb_options\"  \"ctrl:swapcaps\"
  EndSection")

(define %my-desktop-services
  (modify-services
   %desktop-services
   (slim-service-type
    config =>
    (slim-configuration
     (inherit config)
     (auto-login? #t)
     (default-user "joshua")
     (startx (xorg-start-command
              #:configuration-file
              (xorg-configuration-file
               #:extra-config
		;;there are some problems with my-touchpad
	       (list my-dvorak))))))))

(operating-system
 (host-name "dobby")
 (timezone "America/New_York")
 (locale "en_US.utf8")
 (bootloader (bootloader-configuration
              (bootloader grub-efi-bootloader)
              (target "/boot/efi")))
 (file-systems (cons* (file-system
                       ;; /dev/sda3
                       (device (file-system-label "root"))
                       (mount-point "/")
                       (type "ext4"))
                      (file-system
		       ;; /dev/sda4
                       (device (file-system-label "home"))
		       (mount-point "/home")
                       (type "ext4"))
                       ;;/home doesn't need to execute programs
		       ;; it shouldn't, but if I mount it that way, I can't log into X
                       ;;(flags '("no-exec")))
		      (file-system
		       (device (file-system-label "prog"))
		       (mount-point "/home/joshua/prog")
		       (type "ext4"))
                      %base-file-systems))
 (swap-devices '("/dev/sda2"))
 (users (cons (user-account
               (name "joshua")
               (comment "Joshua")
               (group "users")
               ;; Adding the account to the "wheel" group
               ;; makes it a sudoer.  Adding it to "audio"
               ;; and "video" allows the user to play sound
               ;; and access the webcam.
               (supplementary-groups '("wheel"
                                       "audio" "video"))
               (home-directory "/home/joshua"))
              %base-user-accounts))

 ;; Globally-installed packages.
 (packages (cons* awesome nss-certs %base-packages))

 ;; add my configured desktop-services
 (services (cons* (console-keymap-service "dvorak")
		  ;; make linux use RAM more than it uses swap.
		  (service sysctl-service-type
			   (sysctl-configuration
			    (settings  '(("vm.swappiness" . "30")))))
                  %my-desktop-services))

 (name-service-switch %mdns-host-lookup-nss))

#+END_SRC

Did I just make a silly mistake?

--
Joshua Branson
Sent from Emacs and Gnus

Message #8 received at 33953 <at> debbugs.gnu.org (full text, mbox):

From: Timothy Sample <samplet <at> ngyro.com>
To: Joshua Branson <jbranso <at> dismail.de>
Cc: 33953 <at> debbugs.gnu.org
Subject: Re: bug#33953: reconfigure not working tl;
 dr : EFI not mounted to /boot/efi
Date: Wed, 02 Jan 2019 17:27:19 -0500

Hi Joshua,

Joshua Branson <jbranso <at> 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

Message #11 received at 33953 <at> debbugs.gnu.org (full text, mbox):

From: Joshua Branson <jbranso <at> dismail.de>
To: 33953 <at> debbugs.gnu.org
Subject: Re: bug#33953: reconfigure not working tl;
 dr : EFI not mounted to /boot/efi
Date: Thu, 03 Jan 2019 05:53:07 -0500

[Message part 1 (text/plain, inline)]

Timothy Sample <samplet <at> ngyro.com> writes:

> Hi Joshua,
>
> Joshua Branson <jbranso <at> dismail.de> writes:
>
>
> 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!

Perhaps for now, I'll just throw in this patch that modifies an
guix/system/examples desktop file.  The "full blown" desktop has a UEFI
boot, but it does not show the (file-system (type "vfat") ...) example.
This patch should fix that.

The "light weight window manager" in the manual does have a
(file-system (type "vfat") ...).

[0001-I-modified-the-UEFI-desktop-example-to-include-the-f.patch (text/x-patch, attachment)]

[Message part 3 (text/plain, inline)]

--
Joshua Branson
Sent from Emacs and Gnus

Message #16 received at 33953-done <at> debbugs.gnu.org (full text, mbox):

From: Marius Bakke <mbakke <at> fastmail.com>
To: Joshua Branson <jbranso <at> dismail.de>, 33953-done <at> debbugs.gnu.org
Subject: Re: bug#33953: reconfigure not working tl;
 dr : EFI not mounted to /boot/efi
Date: Tue, 07 Apr 2020 15:27:31 +0200

[Message part 1 (text/plain, inline)]

Joshua Branson <jbranso <at> dismail.de> writes:

> Perhaps for now, I'll just throw in this patch that modifies an
> guix/system/examples desktop file.  The "full blown" desktop has a UEFI
> boot, but it does not show the (file-system (type "vfat") ...) example.
> This patch should fix that.

Pierre pushed an identical patch back in
ece2fd121866e4f46c5a4be92c6f09b6c1042ea1, sorry this fell through the
cracks.  :-)

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.