summaryrefslogtreecommitdiff
path: root/gnu/system
diff options
context:
space:
mode:
authorLeo Famulari <leo@famulari.name>2015-12-20 23:09:22 -0500
committerLeo Famulari <leo@famulari.name>2015-12-21 13:12:07 -0500
commitd12717cba0716ecbc320708f8d491eedd73806a2 (patch)
treecafab3c2364b999b8f63b2f6a52d9ea2abec4fe1 /gnu/system
parentdd81635571caf202895371a06b95334b612707fe (diff)
doc: Be more explicit in example of file-systems configuration.
* gnu/system/examples/bare-bones.tmpl (file-systems): Change device label. * gnu/system/examples/desktop.tmpl (file-systems): Likewise.
Diffstat (limited to 'gnu/system')
-rw-r--r--gnu/system/examples/bare-bones.tmpl4
-rw-r--r--gnu/system/examples/desktop.tmpl6
2 files changed, 5 insertions, 5 deletions
diff --git a/gnu/system/examples/bare-bones.tmpl b/gnu/system/examples/bare-bones.tmpl
index dc5cfc81a43..87e8d1e93c1 100644
--- a/gnu/system/examples/bare-bones.tmpl
+++ b/gnu/system/examples/bare-bones.tmpl
@@ -10,11 +10,11 @@
10 (timezone "Europe/Berlin") 10 (timezone "Europe/Berlin")
11 (locale "en_US.UTF-8") 11 (locale "en_US.UTF-8")
12 12
13 ;; Assuming /dev/sdX is the target hard disk, and "root" is 13 ;; Assuming /dev/sdX is the target hard disk, and "my-root" is
14 ;; the label of the target root file system. 14 ;; the label of the target root file system.
15 (bootloader (grub-configuration (device "/dev/sdX"))) 15 (bootloader (grub-configuration (device "/dev/sdX")))
16 (file-systems (cons (file-system 16 (file-systems (cons (file-system
17 (device "root") 17 (device "my-root")
18 (title 'label) 18 (title 'label)
19 (mount-point "/") 19 (mount-point "/")
20 (type "ext4")) 20 (type "ext4"))
diff --git a/gnu/system/examples/desktop.tmpl b/gnu/system/examples/desktop.tmpl
index ee660e05893..07183a533ba 100644
--- a/gnu/system/examples/desktop.tmpl
+++ b/gnu/system/examples/desktop.tmpl
@@ -10,11 +10,11 @@
10 (timezone "Europe/Paris") 10 (timezone "Europe/Paris")
11 (locale "en_US.UTF-8") 11 (locale "en_US.UTF-8")
12 12
13 ;; Assuming /dev/sdX is the target hard disk, and "root" is 13 ;; Assuming /dev/sdX is the target hard disk, and "my-root"
14 ;; the label of the target root file system. 14 ;; is the label of the target root file system.
15 (bootloader (grub-configuration (device "/dev/sdX"))) 15 (bootloader (grub-configuration (device "/dev/sdX")))
16 (file-systems (cons (file-system 16 (file-systems (cons (file-system
17 (device "root") 17 (device "my-root")
18 (title 'label) 18 (title 'label)
19 (mount-point "/") 19 (mount-point "/")
20 (type "ext4")) 20 (type "ext4"))