aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-04-03 23:43:14 +0200
committerLudovic Courtès <ludo@gnu.org>2014-04-03 23:55:51 +0200
commit4743a4da9b49d16b62c66e9f1e6094394e3e655b (patch)
tree7eb20af5b936f4b5620fd9265de261e59c40ea56 /doc
parent4b00f3434e47fc2ddbfda887f36ddbba6a742b82 (diff)
downloadpatches-4743a4da9b49d16b62c66e9f1e6094394e3e655b.tar
patches-4743a4da9b49d16b62c66e9f1e6094394e3e655b.tar.gz
doc: Update description of the chroot contents.
* doc/guix.texi (Build Environment Setup): Adjust description of /dev and /proc; remove footnote about /dev/shm, now obsolete.
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi14
1 files changed, 8 insertions, 6 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 3d76f48563..b49825fc1d 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -245,12 +245,14 @@ environment contains nothing but:
@c Keep this list in sync with libstore/build.cc! -----------------------
@itemize
@item
-the @code{/dev} and @code{/proc} directories@footnote{On some systems
-@code{/dev/shm}, which supports shared memory, is a symlink to another
-directory such as @code{/run/shm}, that is @emph{not} is the chroot.
-When that is the case, shared memory support is unavailable in the
-chroot environment. The workaround is to make sure that @file{/dev/shm}
-is directly a @code{tmpfs} mount point.};
+a minimal @code{/dev} directory, created mostly independently from the
+host @code{/dev}@footnote{``Mostly'', because while the set of files
+that appear in the chroot's @code{/dev} is fixed, most of these files
+can only be created if the host has them.};
+
+@item
+the @code{/proc} directory; it only shows the container's processes
+since a separate PID name space is used;
@item
@file{/etc/passwd} with an entry for the current user and an entry for