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 /gnu/system.scm | |
| parent | c0458011174ece1871ed980b07a092615e1a5d3d (diff) | |
system: Change comment wording.
* gnu/system.scm (<boot-parameters>)<Comment>: Substitute path with file name.
Diffstat (limited to 'gnu/system.scm')
| -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 ff9ab18f22f..b257ea0385d 100644 --- a/gnu/system.scm +++ b/gnu/system.scm | |||
| @@ -290,13 +290,13 @@ directly by the user." | |||
| 290 | ;; Because we will use the 'store-device' to create the GRUB search command, | 290 | ;; Because we will use the 'store-device' to create the GRUB search command, |
| 291 | ;; the 'store-device' has slightly different semantics than 'root-device'. | 291 | ;; the 'store-device' has slightly different semantics than 'root-device'. |
| 292 | ;; The 'store-device' can be a file system uuid, a file system label, or #f, | 292 | ;; The 'store-device' can be a file system uuid, a file system label, or #f, |
| 293 | ;; but it cannot be a device path such as "/dev/sda3", since GRUB would not | 293 | ;; but it cannot be a device file name such as "/dev/sda3", since GRUB would |
| 294 | ;; understand that. The 'root-device', on the other hand, corresponds | 294 | ;; not understand that. The 'root-device', on the other hand, corresponds |
| 295 | ;; exactly to the device field of the <file-system> object representing the | 295 | ;; exactly to the device field of the <file-system> object representing the |
| 296 | ;; OS's root file system, so it might be a device path like "/dev/sda3". | 296 | ;; OS's root file system, so it might be a device file name like |
| 297 | ;; The 'store-directory-prefix' field contains #f or the store path inside | 297 | ;; "/dev/sda3". The 'store-directory-prefix' field contains #f or the store |
| 298 | ;; the 'store-device' as it is seen by GRUB, e.g. it would contain | 298 | ;; file name inside the 'store-device' as it is seen by GRUB, e.g. it would |
| 299 | ;; "/storefs" if the store is located in that subvolume of a btrfs | 299 | ;; contain "/storefs" if the store is located in that subvolume of a btrfs |
| 300 | ;; partition. | 300 | ;; partition. |
| 301 | (root-device boot-parameters-root-device) | 301 | (root-device boot-parameters-root-device) |
| 302 | (bootloader-name boot-parameters-bootloader-name) | 302 | (bootloader-name boot-parameters-bootloader-name) |
