agdsn and networking updates

This commit is contained in:
Rouven Seifert 2023-10-26 12:12:45 +02:00
parent 5148ff5953
commit 45628bdbc3
Signed by: rouven.seifert
GPG key ID: B95E8FE6B11C4D09
22 changed files with 86 additions and 476 deletions

View file

@ -63,7 +63,7 @@ in
};
"router" = matchBlocks."cudy";
"cudy" = {
hostname = "192.168.1.1";
hostname = "192.168.42.1";
user = "root";
};
"git@raspi" = {
@ -74,6 +74,10 @@ in
match = "Host ifsr.de User git";
identityFile = git;
};
"git@git.agdsn.de" = {
match = "Host git.agdsn.de User git";
identityFile = git;
};
};
extraConfig = ''
PKCS11Provider /run/current-system/sw/lib/libtpm2_pkcs11.so