summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/guix.texi6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 2d42ca8de2..0a965f53c0 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -2945,9 +2945,9 @@ mount /dev/sda2 /mnt
Mount special block devices and Linux-specific directories:
@example sh
-mount --bind /proc /mnt/proc
-mount --bind /sys /mnt/sys
-mount --bind /dev /mnt/dev
+mount --rbind /proc /mnt/proc
+mount --rbind /sys /mnt/sys
+mount --rbind /dev /mnt/dev
@end example
If your system is EFI-based, you must also mount the ESP partition.