From mboxrd@z Thu Jan 1 00:00:00 1970 From: Pierre Neidhardt Subject: Install doc + templates overhaul Date: Sat, 19 Jan 2019 19:28:23 +0100 Message-ID: <87zhrw7b94.fsf@ambrevar.xyz> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([209.51.188.92]:60868) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gkvM9-0000vw-05 for guix-devel@gnu.org; Sat, 19 Jan 2019 13:28:34 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gkvM7-00006l-27 for guix-devel@gnu.org; Sat, 19 Jan 2019 13:28:32 -0500 Received: from relay11.mail.gandi.net ([217.70.178.231]:45553) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gkvM1-0008Ul-Fd for guix-devel@gnu.org; Sat, 19 Jan 2019 13:28:27 -0500 Received: from mimimi (lfbn-1-802-102.w86-246.abo.wanadoo.fr [86.246.38.102]) (Authenticated sender: mail@ambrevar.xyz) by relay11.mail.gandi.net (Postfix) with ESMTPSA id 156CD100004 for ; Sat, 19 Jan 2019 18:28:22 +0000 (UTC) List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Guix-devel --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable I've just re-installed Guix from a 0.16 image. My first time in a year, and I've had the opportunity to have a fresh look at the installation manual. I've taken note of a few confusing points that gave me a hard time installing Guix (even the 2nd time :p) so here they are. I'll send a patch to address them if you people agree. =2D From the manual, 6.1.4 Preparing for Installation: =2D-8<---------------cut here---------------start------------->8--- If you instead wish to use EFI-based GRUB, a FAT32 =E2=80=9CEFI System Partition=E2=80=9D (ESP) is required. This partition should be mounted at =E2=80=98/boot/efi=E2=80=99 and must have the =E2=80=98esp=E2=80=99 flag se= t. E.g., for =E2=80=98parted=E2=80=99: =2D-8<---------------cut here---------------end--------------->8--- Actually the EFI partition can be mounted anywhere (/efi or /boot are also customary), it's up to the users to make sure they are pointed at the right mounted location. =2D-8<---------------cut here---------------start------------->8--- Also mount any other file systems you would like to use on the target system relative to this path. If you have =E2=80=98/boot=E2=80=99 on a sep= arate partition for example, mount it at =E2=80=98/mnt/boot=E2=80=99 now so it is= found by =E2=80=98guix system init=E2=80=99 afterwards. =2D-8<---------------cut here---------------end--------------->8--- That's not consistent with /mnt/boot/efi that was just mentioned above. Besides, I think we should mention the word "EFI" in this paragraph so that people find this paragraph when they search for the EFI term to make sure they've covered everything =2D From 6.1.5 Proceeding with the Installation =2D-8<---------------cut here---------------start------------->8--- =E2=80=A2 Make sure the =E2=80=98bootloader-configuration=E2=80=99 form = refers to the target you want to install GRUB on. It should mention =E2=80=98grub-bootload= er=E2=80=99 if you are installing GRUB in the legacy way, or =E2=80=98grub-efi-bootloader=E2=80=99 for newer UEFI systems. For leg= acy systems, the =E2=80=98target=E2=80=99 field names a device, like =E2=80=98/dev/= sda=E2=80=99; for UEFI systems it names a path to a mounted EFI partition, like =E2=80=98/boot/efi=E2=80=99, and do make sure the path is actually mou= nted. =2D-8<---------------cut here---------------end--------------->8--- At the end, it's unclear whether the EFI partition must be _currently_ moun= ted or if the config.scm must have a mount point declaration. Actually, it's b= oth, and that be made explicit I think. Also see the next point: =2D From gnu/system/examples/desktop.tmpl: =2D-8<---------------cut here---------------start------------->8--- ;; Use the UEFI variant of GRUB with the EFI System ;; Partition mounted on /boot/efi. (bootloader (bootloader-configuration (bootloader grub-efi-bootloader) (target "/boot/efi"))) ;... (file-systems (cons (file-system (device (file-system-label "my-root")) (mount-point "/") (type "ext4") (dependencies mapped-devices)) %base-file-systems)) =2D-8<---------------cut here---------------end--------------->8--- The EFI partition is missing from the file-systems declaration!! =2D All templates: I remember this was discussed before, but shouldn't we replace (cons* ...) = with (list ...)? It's easier to grok for users new to Lisp. =2D In the operating-system record, what's the default value of home-direct= ory (in (users (list (user-account (home-directory ...)))))? Shouldn't default to (string-append "/home/" name)? That could also spare us some potential mistakes at install-time. =2D I was surprised to see that from the install image, curl, git, etc. wou= ld fail with an SSL error. It's annoying because I really needed to get my confi= g.scm from an online source. I only briefly investigated: the environment has =2D-8<---------------cut here---------------start------------->8--- SSL_CERT_DIR=3D/etc/ssl/certs SSL_CERT_FILE=3D/etc/ssl/certs/ca-certificates.crt =2D-8<---------------cut here---------------end--------------->8--- but the install image only has a /etc/ssl file. =2D- Pierre Neidhardt https://ambrevar.xyz/ --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAlxDbEcACgkQm9z0l6S7 zH/OxAf/fOM8mcNbvvrP8FiY00z5q52FvPqDg31ARlTKVtBiLJUs9fgsi/4O7VNZ dd8y7C6ZIIFLFXUmNhcTv5SVfPvATcW2HnxMhcxH+5r8iRHqs2tYvMAzl6Wfnrrz 7pcHyOd++tyQSqNiOiQb4XFXe7+J5FQSnmGM+c15P5B0WHaGez/ilCEYrzXPiJNn FXbk1VhkXN9QLAxlph1F3DB5OkxPgaMPNpzWAgp+1aB59ZGd15oehQvTVuZTC0cU F73ysspv1+nUaa+kiBStRqfmXigUQIAYFAaPJgLW0WXaqbdZi94Yt6T2UWA4heLl AxvH3DP/CkydYlpC5HO6YRi3VgI1KA== =8BPZ -----END PGP SIGNATURE----- --=-=-=--