+10 -2

2configs/default.nix

View file Reviewed

··· 120 120 users.extraUsers = { 121 121 root = { 122 122 openssh.authorizedKeys.keys = [ 123 123 - config.krebs.users.lass.pubkey 123 123 + self.keys.ssh.barnacle.public 124 124 + self.keys.ssh.yubi_pgp.public 125 125 + self.keys.ssh.yubi1.public 126 126 + self.keys.ssh.yubi2.public 127 127 + self.keys.ssh.solo2.public 124 128 ]; 125 129 }; 126 130 mainUser = { ··· 140 144 "dialout" 141 145 ]; 142 146 openssh.authorizedKeys.keys = [ 143 143 - config.krebs.users.lass.pubkey 147 147 + self.keys.ssh.barnacle.public 148 148 + self.keys.ssh.yubi_pgp.public 149 149 + self.keys.ssh.yubi1.public 150 150 + self.keys.ssh.yubi2.public 151 151 + self.keys.ssh.solo2.public 144 152 ]; 145 153 }; 146 154 };

+5 -1

2configs/pair-programming.nix

View file Reviewed

··· 10 10 createHome = true; 11 11 isNormalUser = true; 12 12 openssh.authorizedKeys.keys = [ 13 13 - config.krebs.users.lass.pubkey 13 13 + self.keys.ssh.barnacle.public 14 14 + self.keys.ssh.yubi_pgp.public 15 15 + self.keys.ssh.yubi1.public 16 16 + self.keys.ssh.yubi2.public 17 17 + self.keys.ssh.solo2.public 14 18 config.krebs.users.mic92.pubkey 15 19 "sk-ssh-ed25519@openssh.com AAAAGnNrLXNzaC1lZDI1NTE5QG9wZW5zc2guY29tAAAAIJ4yq7oHBO2iPs4xj797a//0ypnBr27sSadKUeL2NsK6AAAABHNzaDo=" # janik 16 20 "sk-ssh-ed25519@openssh.com AAAAGnNrLXNzaC1lZDI1NTE5QG9wZW5zc2guY29tAAAAIOYg513QZsVzoyVycXZjg4F3T3+OwtcY3WAhrlfyLgLTAAAABHNzaDo=" # janik

+6 -2

2configs/services/radio/default.nix

View file Reviewed

··· 97 97 description = "radio manager"; 98 98 home = "/home/${name}"; 99 99 useDefaultShell = true; 100 100 - openssh.authorizedKeys.keys = with config.krebs.users; [ 101 101 - lass.pubkey 100 100 + openssh.authorizedKeys.keys = [ 101 101 + self.keys.ssh.barnacle.public 102 102 + self.keys.ssh.yubi_pgp.public 103 103 + self.keys.ssh.yubi1.public 104 104 + self.keys.ssh.yubi2.public 105 105 + self.keys.ssh.solo2.public 102 106 ]; 103 107 packages = [ 104 108 good_track