02/07: install: Add /tmp as a tmpfs.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit ee03b75dfb3399f41002c38ac512473ab94afa74
Author: Ludovic Courtès <address@hidden>
Date:   Thu Mar 24 21:22:56 2016 +0100

    install: Add /tmp as a tmpfs.
    
    Fixes <http://bugs.gnu.org/23056>.
    Reported by Michael Downey <address@hidden>
    and Kei <address@hidden>.
    
    * gnu/system/install.scm (installation-os)[file-systems]: Add "/tmp".
---
 gnu/system/install.scm |   26 +++++++++++++++++++-------
 1 files changed, 19 insertions(+), 7 deletions(-)

diff --git a/gnu/system/install.scm b/gnu/system/install.scm
index d6434fd..7a363ca 100644
--- a/gnu/system/install.scm
+++ b/gnu/system/install.scm
@@ -340,17 +340,29 @@ Use Alt-F2 for documentation.
     (file-systems
      ;; Note: the disk image build code overrides this root file system with
      ;; the appropriate one.
-     (cons (file-system
-             (mount-point "/")
-             (device "gnu-disk-image")
-             (title 'label)
-             (type "ext4"))
-           %base-file-systems))
+     (cons* (file-system
+              (mount-point "/")
+              (device "gnu-disk-image")
+              (title 'label)
+              (type "ext4"))
+
+            ;; Make /tmp a tmpfs instead of keeping the unionfs.  This is
+            ;; because FUSE creates '.fuse_hiddenXYZ' files for each open file,
+            ;; and this confuses Guix's test suite, for instance.  See
+            ;; <http://bugs.gnu.org/23056>.
+            (file-system
+              (mount-point "/tmp")
+              (device "none")
+              (title 'device)
+              (type "tmpfs")
+              (check? #f))
+
+            %base-file-systems))
 
     (users (list (user-account
                   (name "guest")
                   (group "users")
-                  (supplementary-groups '("wheel"))  ; allow use of sudo
+                  (supplementary-groups '("wheel")) ; allow use of sudo
                   (password "")
                   (comment "Guest of GNU")
                   (home-directory "/home/guest"))))