Hello Marco, Thank you for catching this! Marco van Hulten writes: > Something is not so clear to me on this page: > > https://www.gnu.org/software/guix/manual/html_node/Preparing-for-Installation.html > > under section "6.1.4.3 Disk Partitioning": > >> Preferably, assign partitions a label so that you can easily and >> reliably refer to them in file-system declarations (see File >> Systems). This is typically done using the -L option of mkfs.ext4 and >> related commands. So, assuming the target root partition lives >> at /dev/sda1, a file system with the label my-root can be created >> with: mkfs.ext4 [...] > > and > >> mount the target root partition under /mnt with a command like >> (again, assuming my-root is the label of the root partition) > > Wait, "my-root" was the label of the filesystem, right? > > > I think the terms "partition" and "filesystem" are confused here. I > propose that this be correct and consistent, so > > - a partition has a "partition label"; > - a filesystem has a "filesystem label", or "volume label" when > following mkfs(8) terminology. This makes sense. Also here is additional information. https://superuser.com/questions/1099232/what-is-the-difference-between-a-partition-name-and-a-partition-label/1099292 The GPT disk format can simply contain more data than its predecessors. One of these fields is the partition name, which, as you have found, can be set by gdisk or similar. However, before GPT, there were formats which didn't support labels in the partition table (e.g. MBR), so the data was stored in the fs as a filesystem label. Using GPT with a filesystem that supports labels (i.e. basically anything) therefore produces the slightly confusing combination of partition name/label and filesystem name/label. These values are totally independent, (although I don't exactly recommend making them totally different) and most programs will use the fs label, as that one is available across basically all file systems, unlike the partition name, which is only on GPT. However, some programs can use the partition name too. (E.g. /dev/disk/ contains by-label/ as well as by-partlabel/.) --8<---------------cut here---------------start------------->8--- $ sudo blkid /dev/sda1: SEC_TYPE="msdos" UUID="…" TYPE="vfat" PARTLABEL="EFI System Partition" PARTUUID="…" /dev/sda2: LABEL="magnolia-root" UUID="…" TYPE="ext4" PARTUUID="…" /dev/sdb1: LABEL="magnolia-data" UUID="…" TYPE="ext4" PARTUUID="…" --8<---------------cut here---------------end--------------->8--- --8<---------------cut here---------------start------------->8--- $ ls /dev/disk/{by-label,by-partlabel} /dev/disk/by-label: magnolia-data magnolia-root /dev/disk/by-partlabel: 'EFI\x20System\x20Partition' --8<---------------cut here---------------end--------------->8--- > Could someone make this consistent? Or I could propose an updated text. > Should I send them in plain text to guix-devel? We need someone to make a patch. I attached one below. If it is not good enough, you could send “updated text” as a “plain text” file or as a patch to this mailing list or guix-devel@gnu.org or bug-guix@gnu.org.