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

[Joshua Branson]

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