l: add dev to docker group
This commit is contained in:
parent
102324c0d8
commit
004b6a895a
@ -9,6 +9,7 @@ in {
|
|||||||
dev = {
|
dev = {
|
||||||
name = "dev";
|
name = "dev";
|
||||||
uid = genid "dev";
|
uid = genid "dev";
|
||||||
|
extraGroups = [ "docker" ];
|
||||||
description = "user for collaborative development";
|
description = "user for collaborative development";
|
||||||
home = "/home/dev";
|
home = "/home/dev";
|
||||||
useDefaultShell = true;
|
useDefaultShell = true;
|
||||||
|
Loading…
Reference in New Issue
Block a user