summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-07-23 01:25:01 +0200
committerLudovic Courtès <ludo@gnu.org>2014-07-23 02:02:07 +0200
commitdb17ae5c27c614731b849cc4acc6a2857060c771 (patch)
treee89aec004a15173222d8676329e562e397ce819e /doc
parent2c071ce96e7e4049be3ae2eb958077566d3b4ea0 (diff)
system: Add /dev/shm.
* gnu/system/file-systems.scm (%shared-memory-file-system): New variable. (%base-file-systems): Add it. * doc/guix.texi (File Systems): Document it.
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi6
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 42e62d4648..7bc10dc566 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -3084,6 +3084,12 @@ Manual}). Pseudo-terminals are used by terminal emulators such as
@command{xterm}.
@end defvr
+@defvr {Scheme Variable} %shared-memory-file-system
+This file system is mounted as @file{/dev/shm} and is used to support
+memory sharing across processes (@pxref{Memory-mapped I/O,
+@code{shm_open},, libc, The GNU C Library Reference Manual}).
+@end defvr
+
@defvr {Scheme Variable} %binary-format-file-system
The @code{binfmt_misc} file system, which allows handling of arbitrary
executable file types to be delegated to user space. This requires the