diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-08-31 14:19:22 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-08-31 15:50:35 +0200 |
| commit | 7eeb78157d3d0267ce4a4ea38ff56a2c4246c11b (patch) | |
| tree | a090347bd890fc065bda73be90bd4abdeb2ae566 | |
| parent | 83ec969cc7170634872d4ff3ffc0d4099a6765a4 (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.scm | 3 |
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))))) |