summaryrefslogtreecommitdiff
path: root/gnu/system
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-11-04 23:10:53 +0100
committerLudovic Courtès <ludo@gnu.org>2020-11-05 00:07:45 +0100
commit341f67991da4380485676987e24a3fac01403835 (patch)
treefd511dcd658700de6ad7cb972dbbf8f2049be3cb /gnu/system
parentbcf83975a34ae6f45dc90d506e862abe9a7ee0a8 (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/system')
-rw-r--r--gnu/system/vm.scm5
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