diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-03-24 21:22:56 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-03-24 22:47:15 +0100 |
| commit | ee03b75dfb3399f41002c38ac512473ab94afa74 (patch) | |
| tree | e450a4ca5a599c363701b6db5c5e5fb2d83a1135 | |
| parent | cc7234aede8d736d7f8f088e5955c468b9f480dc (diff) | |
install: Add /tmp as a tmpfs.
Fixes <http://bugs.gnu.org/23056>.
Reported by Michael Downey <shaggy814@yandex.com>
and Kei <kei@openmailbox.org>.
* gnu/system/install.scm (installation-os)[file-systems]: Add "/tmp".
| -rw-r--r-- | 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 d6434fd00d3..7a363cac8e5 100644 --- a/gnu/system/install.scm +++ b/gnu/system/install.scm | |||
| @@ -340,17 +340,29 @@ Use Alt-F2 for documentation. | |||
| 340 | (file-systems | 340 | (file-systems |
| 341 | ;; Note: the disk image build code overrides this root file system with | 341 | ;; Note: the disk image build code overrides this root file system with |
| 342 | ;; the appropriate one. | 342 | ;; the appropriate one. |
| 343 | (cons (file-system | 343 | (cons* (file-system |
| 344 | (mount-point "/") | 344 | (mount-point "/") |
| 345 | (device "gnu-disk-image") | 345 | (device "gnu-disk-image") |
| 346 | (title 'label) | 346 | (title 'label) |
| 347 | (type "ext4")) | 347 | (type "ext4")) |
| 348 | %base-file-systems)) | 348 | |
| 349 | ;; Make /tmp a tmpfs instead of keeping the unionfs. This is | ||
| 350 | ;; because FUSE creates '.fuse_hiddenXYZ' files for each open file, | ||
| 351 | ;; and this confuses Guix's test suite, for instance. See | ||
| 352 | ;; <http://bugs.gnu.org/23056>. | ||
| 353 | (file-system | ||
| 354 | (mount-point "/tmp") | ||
| 355 | (device "none") | ||
| 356 | (title 'device) | ||
| 357 | (type "tmpfs") | ||
| 358 | (check? #f)) | ||
| 359 | |||
| 360 | %base-file-systems)) | ||
| 349 | 361 | ||
| 350 | (users (list (user-account | 362 | (users (list (user-account |
| 351 | (name "guest") | 363 | (name "guest") |
| 352 | (group "users") | 364 | (group "users") |
| 353 | (supplementary-groups '("wheel")) ; allow use of sudo | 365 | (supplementary-groups '("wheel")) ; allow use of sudo |
| 354 | (password "") | 366 | (password "") |
| 355 | (comment "Guest of GNU") | 367 | (comment "Guest of GNU") |
| 356 | (home-directory "/home/guest")))) | 368 | (home-directory "/home/guest")))) |
