···

       
1
       
1
       
-
       
{ ... }: {

     

       
1
       
1
       
+
       
{ inputs, ... }: {

     

       
2
       
2
       
 
       
  imports = [

     

       
3
       
3
       
-
       
    # Common Config

     

       
4
       
4
       
-
       
    ../default.nix

     

       
5
       
5
       
-
       


     

       
6
       
6
       
-
       
    # My user, also a default.

     

       
7
       
7
       
-
       
    ../../users/thehedgehog

     

       
8
       
8
       
-
       


     

       
9
       
3
       
 
       
    # Machine specific configs

     

       
10
       
4
       
 
       
    ./bootloader.nix

     

       
11
       
5
       
 
       
    ./console.nix

     
···

       
39
       
33
       
 
       
    # Agenix secrets

     

       
40
       
34
       
 
       
    # ./secret-files.nix

     

       
41
       
35
       
 
       
  ];

     

       
36
       
36
       
+
       
  py.users.default.enable = true;

     

       
42
       
37
       
 
       
  fileSystems = {

     

       
43
       
38
       
 
       
    "/" = {

     

       
44
       
39
       
 
       
      fsType = "btrfs";

     

···

       
1
       
1
       
-
       
{ pkgs, ... }:

     

       
2
       
2
       
-
       
{

     

       
3
       
3
       
-
       
  users.users.thehedgehog = {

     

       
4
       
4
       
-
       
    description = "The Hedgehog";

     

       
5
       
5
       
-
       
    isNormalUser = true;

     

       
6
       
6
       
-
       
    extraGroups = [

     

       
7
       
7
       
-
       
      "adbusers"

     

       
8
       
8
       
-
       
      "wheel"

     

       
9
       
9
       
-
       
      "networkmanager"

     

       
10
       
10
       
-
       
      "video"

     

       
11
       
11
       
-
       
      "docker"

     

       
12
       
12
       
-
       
      "wireshark"

     

       
13
       
13
       
-
       
      "input"

     

       
14
       
14
       
-
       
    ];

     

       
15
       
15
       
-
       
    hashedPassword = "$6$6EtuZhVOJdfI9DYP$1Qnd7R8qdN.E5yE2kDQCNg2zgJ5cIjNBKsIW/qJgb8wcKlUpIoVg/fEKvBkAgCiLyojVG2kzfu4J9LR8rA8a2/";

     

       
16
       
16
       
-
       
    shell = pkgs.fish;

     

       
17
       
17
       
-
       
    openssh = {

     

       
18
       
18
       
-
       
      authorizedKeys = {

     

       
19
       
19
       
-
       
        keyFiles = [

     

       
20
       
20
       
-
       
          ../../home/programs/ssh/yubikey-new.pub

     

       
21
       
21
       
-
       
          ../../home/programs/ssh/yubikey-main.pub

     

       
22
       
22
       
-
       
          ../../home/programs/ssh/yubikey-back.pub

     

       
23
       
23
       
-
       
          ../../home/programs/ssh/backup.pub

     

       
24
       
24
       
-
       
        ];

     

       
25
       
25
       
-
       
        keys = [ "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIP532AB5mkNvE29MkDDY8HEf8ZdktGWiI0PzLrvbmLQe" ];

     

       
26
       
26
       
-
       
      };

     

       
27
       
27
       
-
       
    };

     

       
28
       
28
       
-
       
  };

     

       
29
       
29
       
-
       
}