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/system/linux-container.scm | |
| parent | 6eb439070a12e62e72c13f189ad71394226e6036 (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/linux-container.scm')
| -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 c558f457692..3acc579a6b9 100644 --- a/gnu/system/linux-container.scm +++ b/gnu/system/linux-container.scm | |||
| @@ -57,7 +57,8 @@ containerized OS." | |||
| 57 | (source (file-system-device fs))) | 57 | (source (file-system-device fs))) |
| 58 | (or (string=? target (%store-prefix)) | 58 | (or (string=? target (%store-prefix)) |
| 59 | (string=? target "/") | 59 | (string=? target "/") |
| 60 | (string-prefix? "/dev/" source) | 60 | (and (string? source) |
| 61 | (string-prefix? "/dev/" source)) | ||
| 61 | (string-prefix? "/dev" target) | 62 | (string-prefix? "/dev" target) |
| 62 | (string-prefix? "/sys" target)))) | 63 | (string-prefix? "/sys" target)))) |
| 63 | (operating-system-file-systems os))) | 64 | (operating-system-file-systems os))) |