summary refs log tree commit diff
path: root/gnu/system/vm.scm
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 /gnu/system/vm.scm
parent83ec969cc7170634872d4ff3ffc0d4099a6765a4 (diff)
downloadguix-7eeb78157d3d0267ce4a4ea38ff56a2c4246c11b.tar.gz
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.
Diffstat (limited to 'gnu/system/vm.scm')
-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)))))