diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-05-10 18:11:25 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-05-10 23:29:18 +0200 |
| commit | 76ae10a1f483a23ac2f88264d49011eb06c9da27 (patch) | |
| tree | b215777a6d679c4efcf73ac1269a1f4eb3c022e4 | |
| parent | f8885ecab6cdd8f25e13b43b5371260886f7b0cb (diff) | |
linux-container: Improve filtering of unnecessary file systems.
* gnu/system/linux-container.scm (containerized-operating-system)[user-file-systems]:
Add trailing slash for the "/dev/" and "/sys/" prefixes.
| -rw-r--r-- | gnu/system/linux-container.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/system/linux-container.scm b/gnu/system/linux-container.scm index 149c3d08a32..ded5f279fed 100644 --- a/gnu/system/linux-container.scm +++ b/gnu/system/linux-container.scm | |||
| @@ -65,8 +65,8 @@ containerized OS." | |||
| 65 | (string=? target "/") | 65 | (string=? target "/") |
| 66 | (and (string? source) | 66 | (and (string? source) |
| 67 | (string-prefix? "/dev/" source)) | 67 | (string-prefix? "/dev/" source)) |
| 68 | (string-prefix? "/dev" target) | 68 | (string-prefix? "/dev/" target) |
| 69 | (string-prefix? "/sys" target)))) | 69 | (string-prefix? "/sys/" target)))) |
| 70 | (operating-system-file-systems os))) | 70 | (operating-system-file-systems os))) |
| 71 | 71 | ||
| 72 | (define (mapping->fs fs) | 72 | (define (mapping->fs fs) |