02/04: doc: Explain that 'file-system' must refer to mapped devices by file name.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit 5f86a66efdd07e1ff43fb280245e0b7f4744cfca
Author: Ludovic Courtès <address@hidden>
Date:   Sun Nov 30 18:29:13 2014 +0100

    doc: Explain that 'file-system' must refer to mapped devices by file name.
    
    * doc/guix.texi (File Systems): Clarify what to do when mapped devices
      are used.
---
 doc/guix.texi |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 7c059b9..4edaa92 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -3731,6 +3731,13 @@ is interpreted as a partition label name; when it is 
@code{uuid},
 The @code{label} and @code{uuid} options offer a way to refer to disk
 partitions without having to hard-code their actual device name.
 
+However, when a file system's source is a mapped device (@pxref{Mapped
+Devices}), its @code{device} field @emph{must} refer to the mapped
+device name---e.g., @file{/dev/mapper/root-partition}---and consequently
address@hidden must be set to @code{'device}.  This is required so that
+the system knows that mounting the file system depends on having the
+corresponding device mapping established.
+
 @item @code{flags} (default: @code{'()})
 This is a list of symbols denoting mount flags.  Recognized flags
 include @code{read-only}, @code{bind-mount}, @code{no-dev} (disallow