diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-02-08 23:33:12 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-02-08 23:46:46 +0100 |
| commit | 1f1ff6a0e71387c2a2e4c60b46c23c3224077c4a (patch) | |
| tree | 0a463eb7b553896fca783c2171563fb5d2618e08 /gnu | |
| parent | 6eb439070a12e62e72c13f189ad71394226e6036 (diff) | |
| download | patches-1f1ff6a0e71387c2a2e4c60b46c23c3224077c4a.tar patches-1f1ff6a0e71387c2a2e4c60b46c23c3224077c4a.tar.gz | |
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')
| -rw-r--r-- | gnu/system/linux-container.scm | 3 |
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))) |