--- Begin Message ---
|
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
--- End Message ---
--- Begin Message ---
|
Subject: |
Re: bug#33953: reconfigure not working tl; dr : EFI not mounted to /boot/efi |
|
Date: |
Tue, 07 Apr 2020 15:27:31 +0200 |
|
User-agent: |
Notmuch/0.29.3 (https://notmuchmail.org) Emacs/26.3 (x86_64-pc-linux-gnu) |
Joshua Branson <address@hidden> 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
Description: PGP signature
--- End Message ---