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 /gnu | |
| parent | 2c071ce96e7e4049be3ae2eb958077566d3b4ea0 (diff) | |
| download | guix-db17ae5c27c614731b849cc4acc6a2857060c771.tar.gz guix-db17ae5c27c614731b849cc4acc6a2857060c771.zip | |
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 'gnu')
| -rw-r--r-- | gnu/system/file-systems.scm | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/gnu/system/file-systems.scm b/gnu/system/file-systems.scm index 76460d95af..8700530a76 100644 --- a/gnu/system/file-systems.scm +++ b/gnu/system/file-systems.scm @@ -108,10 +108,22 @@ (create-mount-point? #t) (options (string-append "gid=" (number->string %tty-gid) ",mode=620")))) +(define %shared-memory-file-system + ;; Shared memory. + (file-system + (device "tmpfs") + (mount-point "/dev/shm") + (type "tmpfs") + (check? #f) + (flags '(no-suid no-dev)) + (options "size=50%") ;TODO: make size configurable + (create-mount-point? #t))) + (define %base-file-systems ;; List of basic file systems to be mounted. Note that /proc and /sys are ;; currently mounted by the initrd. (list %devtmpfs-file-system - %pseudo-terminal-file-system)) + %pseudo-terminal-file-system + %shared-memory-file-system)) ;;; file-systems.scm ends here |