summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-08-31 14:19:22 +0200
committerLudovic Courtès <ludo@gnu.org>2020-08-31 15:50:35 +0200
commit7eeb78157d3d0267ce4a4ea38ff56a2c4246c11b (patch)
treea090347bd890fc065bda73be90bd4abdeb2ae566
parent83ec969cc7170634872d4ff3ffc0d4099a6765a4 (diff)
vm: Disable caching for writable file system mappings.
Fixes <https://bugs.gnu.org/43062>. Reported by elaexuotee@wilsonb.com. * gnu/system/vm.scm (mapping->file-system)[options]: Disable loose caching when WRITABLE? is true.
-rw-r--r--gnu/system/vm.scm3
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/system/vm.scm b/gnu/system/vm.scm
index 861f2a427a..80a8618729 100644
--- a/gnu/system/vm.scm
+++ b/gnu/system/vm.scm
@@ -699,7 +699,8 @@ of the GNU system as described by OS."
(device (file-system->mount-tag source))
(type "9p")
(flags (if writable? '() '(read-only)))
- (options "trans=virtio,cache=loose")
+ (options (string-append "trans=virtio"
+ (if writable? "" ",cache=loose")))
(check? #f)
(create-mount-point? #t)))))