diff options
author | Miguel Ángel Arruga Vivas <rosen644835@gmail.com> | 2020-11-02 18:22:33 +0100 |
---|---|---|
committer | Miguel Ángel Arruga Vivas <rosen644835@gmail.com> | 2020-11-02 18:22:33 +0100 |
commit | 2df44e934c9ba14a89d9245d1a4f7cf18e8cfdaa (patch) | |
tree | bb7fc466463a8d23dfdf07acac7165533203aeef | |
parent | c0458011174ece1871ed980b07a092615e1a5d3d (diff) | |
download | guix-2df44e934c9ba14a89d9245d1a4f7cf18e8cfdaa.tar.gz |
system: Change comment wording.
* gnu/system.scm (<boot-parameters>)<Comment>: Substitute path with file name.
-rw-r--r-- | gnu/system.scm | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gnu/system.scm b/gnu/system.scm index ff9ab18f22..b257ea0385 100644 --- a/gnu/system.scm +++ b/gnu/system.scm @@ -290,13 +290,13 @@ directly by the user." ;; Because we will use the 'store-device' to create the GRUB search command, ;; the 'store-device' has slightly different semantics than 'root-device'. ;; The 'store-device' can be a file system uuid, a file system label, or #f, - ;; but it cannot be a device path such as "/dev/sda3", since GRUB would not - ;; understand that. The 'root-device', on the other hand, corresponds + ;; but it cannot be a device file name such as "/dev/sda3", since GRUB would + ;; not understand that. The 'root-device', on the other hand, corresponds ;; exactly to the device field of the <file-system> object representing the - ;; OS's root file system, so it might be a device path like "/dev/sda3". - ;; The 'store-directory-prefix' field contains #f or the store path inside - ;; the 'store-device' as it is seen by GRUB, e.g. it would contain - ;; "/storefs" if the store is located in that subvolume of a btrfs + ;; OS's root file system, so it might be a device file name like + ;; "/dev/sda3". The 'store-directory-prefix' field contains #f or the store + ;; file name inside the 'store-device' as it is seen by GRUB, e.g. it would + ;; contain "/storefs" if the store is located in that subvolume of a btrfs ;; partition. (root-device boot-parameters-root-device) (bootloader-name boot-parameters-bootloader-name) |