diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-11-04 23:10:53 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-11-05 00:07:45 +0100 |
commit | 341f67991da4380485676987e24a3fac01403835 (patch) | |
tree | fd511dcd658700de6ad7cb972dbbf8f2049be3cb /gnu | |
parent | bcf83975a34ae6f45dc90d506e862abe9a7ee0a8 (diff) |
vm: system-qemu-image: Fix type error, remove more actual file systems.
* gnu/system/vm.scm (system-qemu-image)[file-systems-to-keep]: Check
whether SOURCE is a string before calling 'string-prefix?'. Remove
UUIDs and file system labels as well.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/system/vm.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gnu/system/vm.scm b/gnu/system/vm.scm index 80a8618729..21d777a3fe 100644 --- a/gnu/system/vm.scm +++ b/gnu/system/vm.scm @@ -641,7 +641,10 @@ of the GNU system as described by OS." (let ((target (file-system-mount-point fs)) (source (file-system-device fs))) (or (string=? target "/") - (string-prefix? "/dev/" source)))) + (and (string? source) + (string-prefix? "/dev/" source)) + (uuid? source) + (file-system-label? source)))) (operating-system-file-systems os))) (define root-uuid |