diff options
| author | Adin Scannell <adin@scannell.ca> | 2020-05-25 18:21:03 -0700 |
|---|---|---|
| committer | Adin Scannell <adin@scannell.ca> | 2020-05-25 18:21:03 -0700 |
| commit | a6325cca51143bcd319ac58dda7ba45082fcad9e (patch) | |
| tree | 87996908917ed92a5ea94d146b57a1f7512e5451 /tools/defs.bzl | |
| parent | ba2bf9fc13c204ad05d9fbb7199b890e6faf1d76 (diff) | |
Ensure docker group exists in the container.
The --groups command will fail if the group is not defined in
/etc/groups, even though it is specified by GID.
By coincidence, the group happens to be there for many installations of
Ubuntu 18.04 (which uses 999 for the Docker group), but it is strangely
absent in others (which use 130).
Fixes #2765
Diffstat (limited to 'tools/defs.bzl')
0 files changed, 0 insertions, 0 deletions