diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-04-03 23:43:14 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-04-03 23:55:51 +0200 |
commit | 4743a4da9b49d16b62c66e9f1e6094394e3e655b (patch) | |
tree | 7eb20af5b936f4b5620fd9265de261e59c40ea56 /doc | |
parent | 4b00f3434e47fc2ddbfda887f36ddbba6a742b82 (diff) | |
download | patches-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.texi | 14 |
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 |