diff options
| author | devhell <devhell@mailfresser.de> | 2018-07-02 17:13:48 +0100 |
|---|---|---|
| committer | devhell <devhell@mailfresser.de> | 2018-07-02 17:17:15 +0100 |
| commit | 21118154c9a5c94ae701f88ac20743e8c3c2d539 (patch) | |
| tree | 076e67fc94869c8d16ce5e979c49157f2fd32739 /modules | |
| parent | eddb6214f77ff5482ab9b4d7fd31d29b29775d20 (diff) | |
profiles/base: Update user groups definition
Introduced in #42798. The usage of `users.extraGroups` is apparently deprecated and has been replaced with `users.groups`.
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/user/devhell/profiles/base.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/user/devhell/profiles/base.nix b/modules/user/devhell/profiles/base.nix index bd724f7e..6be3e1bf 100644 --- a/modules/user/devhell/profiles/base.nix +++ b/modules/user/devhell/profiles/base.nix @@ -48,7 +48,7 @@ in { users.users.dev = { isNormalUser = true; - extraGroups = [ "plugdev" "docker" "vboxusers" "wheel" "mpd" "networkmanager" "libvirtd" "wireshark" ]; + groups = [ "plugdev" "docker" "vboxusers" "wheel" "mpd" "networkmanager" "libvirtd" "wireshark" ]; uid = 1000; shell = "${pkgs.zsh}/bin/zsh"; }; |