devhell: Move users_dev.nix into base profile

IMHO this module is really too small to factor it out into its own
profile module, so I'm putting it into the base profile as it's really
common among all of devhell's machines.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Cc: @devhell

2 files changed, 7 insertions, 10 deletions

diff --git a/devhell/users/users_dev.nix b/devhell/users/users_dev.nix
deleted file mode 100644
index 41649ae0..00000000
--- a/devhell/users/users_dev.nix
+++ /dev/null
@@ -1,10 +0,0 @@
-{ config, pkgs, lib, ... }:
-
-{
-  users.extraUsers.dev = {
-    isNormalUser = true;
-    extraGroups = [ "vboxusers" "wheel" "mpd" "networkmanager" "libvirtd" ];
-    uid = 1000;
-    shell = "${pkgs.zsh}/bin/zsh";
-  };
-}
diff --git a/modules/user/devhell/profiles/base.nix b/modules/user/devhell/profiles/base.nix
index 6f55a79d..123da3ef 100644
--- a/modules/user/devhell/profiles/base.nix
+++ b/modules/user/devhell/profiles/base.nix
@@ -46,6 +46,13 @@ in {
 
     networking.firewall.enable = false;
 
+    users.users.dev = {
+      isNormalUser = true;
+      extraGroups = [ "vboxusers" "wheel" "mpd" "networkmanager" "libvirtd" ];
+      uid = 1000;
+      shell = "${pkgs.zsh}/bin/zsh";
+    };
+
     programs = {
       ssh = {
         startAgent = false;