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/services.scm | |
| parent | f8885ecab6cdd8f25e13b43b5371260886f7b0cb (diff) | |
| download | patches-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/services.scm')
0 files changed, 0 insertions, 0 deletions