summaryrefslogtreecommitdiff
path: root/gnu/system
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-05-10 18:11:25 +0200
committerLudovic Courtès <ludo@gnu.org>2019-05-10 23:29:18 +0200
commit76ae10a1f483a23ac2f88264d49011eb06c9da27 (patch)
treeb215777a6d679c4efcf73ac1269a1f4eb3c022e4 /gnu/system
parentf8885ecab6cdd8f25e13b43b5371260886f7b0cb (diff)
downloadpatches-76ae10a1f483a23ac2f88264d49011eb06c9da27.tar
patches-76ae10a1f483a23ac2f88264d49011eb06c9da27.tar.gz
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/system')
-rw-r--r--gnu/system/linux-container.scm4
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)