diff options
-rw-r--r-- | doc/guix.texi | 6 |
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. |