diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-05-15 00:32:44 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-07-06 13:50:33 +0200 |
| commit | ca2f64bcdaef5915f5147eac935ecb770511e438 (patch) | |
| tree | 2bff1a8b1f6e39745e2890f19f4cf973bcd5e27f /shell.nix | |
| parent | f5fa3de759a2b4c1d0107a4304a0b3f9571c87b6 (diff) | |
Reduce # of UIDs per build to 65536
2^18 was overkill. The idea was to enable multiple containers to run
inside a build. However, those containers can use the same UID range -
we don't really care about perfect isolation between containers inside
a build.
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions