diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-07-23 01:25:01 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-07-23 02:02:07 +0200 |
| commit | db17ae5c27c614731b849cc4acc6a2857060c771 (patch) | |
| tree | e89aec004a15173222d8676329e562e397ce819e /doc | |
| parent | 2c071ce96e7e4049be3ae2eb958077566d3b4ea0 (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.texi | 6 |
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 |