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

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

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

[Timothy Sample]

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

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

[Joshua Branson]

[-- Attachment #1: Type: text/plain, Size: 798 bytes --]

Timothy Sample <samplet@ngyro.com> writes:

> Hi Joshua,
>
> Joshua Branson <jbranso@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") ...).


[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: vfat patch --]
[-- Type: text/x-patch, Size: 961 bytes --]

From 0d35f5c6a73dc97959779f727c25e81de9192680 Mon Sep 17 00:00:00 2001
From: Joshua Branson <jbranso@dismail.de>
Date: Thu, 3 Jan 2019 05:47:23 -0500
Subject: [PATCH] I modified the UEFI desktop example to include the
 (file-system (type "vfat") ...)

---
 gnu/system/examples/desktop.tmpl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/gnu/system/examples/desktop.tmpl b/gnu/system/examples/desktop.tmpl
index 1b8d46afa..9c36a2692 100644
--- a/gnu/system/examples/desktop.tmpl
+++ b/gnu/system/examples/desktop.tmpl
@@ -30,6 +30,10 @@
                         (mount-point "/")
                         (type "ext4")
                         (dependencies mapped-devices))
+                        (file-system
+                         (device (uuid "1234-ABCD" 'fat))
+                         (mount-point "/boot/efi")
+                         (type "vfat"))
                       %base-file-systems))
 
   (users (cons (user-account
-- 
2.20.1


[-- Attachment #3: Type: text/plain, Size: 45 bytes --]



--
Joshua Branson
Sent from Emacs and Gnus

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

[Marius Bakke]

[-- Attachment #1: Type: text/plain, Size: 414 bytes --]

Joshua Branson <jbranso@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.  :-)

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]