summaryrefslogtreecommitdiff
path: root/gnu/system
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2016-02-08 23:33:12 +0100
committerLudovic Courtès <ludo@gnu.org>2016-02-08 23:46:46 +0100
commit1f1ff6a0e71387c2a2e4c60b46c23c3224077c4a (patch)
tree0a463eb7b553896fca783c2171563fb5d2618e08 /gnu/system
parent6eb439070a12e62e72c13f189ad71394226e6036 (diff)
linux-container: Accept file systems with a UUID 'source'.
* gnu/system/linux-container.scm (containerized-operating-system)[user-file-systems]: Check whether SOURCE is a string before calling 'string-prefix?'.
Diffstat (limited to 'gnu/system')
-rw-r--r--gnu/system/linux-container.scm3
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/system/linux-container.scm b/gnu/system/linux-container.scm
index c558f45769..3acc579a6b 100644
--- a/gnu/system/linux-container.scm
+++ b/gnu/system/linux-container.scm
@@ -57,7 +57,8 @@ containerized OS."
(source (file-system-device fs)))
(or (string=? target (%store-prefix))
(string=? target "/")
- (string-prefix? "/dev/" source)
+ (and (string? source)
+ (string-prefix? "/dev/" source))
(string-prefix? "/dev" target)
(string-prefix? "/sys" target))))
(operating-system-file-systems os)))