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 /gnu | |
| 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.
Diffstat (limited to 'gnu')
| -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 149c3d08a3..ded5f279fe 100644 --- a/gnu/system/linux-container.scm +++ b/gnu/system/linux-container.scm @@ -65,8 +65,8 @@ containerized OS." (string=? target "/") (and (string? source) (string-prefix? "/dev/" source)) - (string-prefix? "/dev" target) - (string-prefix? "/sys" target)))) + (string-prefix? "/dev/" target) + (string-prefix? "/sys/" target)))) (operating-system-file-systems os))) (define (mapping->fs fs) |