linux-container: Improve filtering of unnecessary file systems.
commit76ae10a1f483a23ac2f88264d49011eb06c9da27
authorLudovic Courtès <ludo@gnu.org>
Fri, 10 May 2019 16:11:25 +0000 (10 18:11 +0200)
committerLudovic Courtès <ludo@gnu.org>
Fri, 10 May 2019 21:29:18 +0000 (10 23:29 +0200)
treeb215777a6d679c4efcf73ac1269a1f4eb3c022e4
parentf8885ecab6cdd8f25e13b43b5371260886f7b0cb
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.
gnu/system/linux-container.scm