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 /nix | |
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 'nix')
0 files changed, 0 insertions, 0 deletions