rouven.seifert/nixos-config
1
1
Fork 0
mirror of https://git.sr.ht/~rouven/nixos-config synced 2025-04-26 00:18:28 +02:00
Code Issues Projects Releases Packages Wiki Activity

ssh & packages: cleanup

Browse source
This commit is contained in:
Rouven Seifert 2024-04-17 16:12:09 +02:00
parent 5def708423
commit 0e7abe56cf
Signed by: rouven.seifert
GPG key ID: B95E8FE6B11C4D09
2 changed files with 13 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

30
users/rouven/modules/ssh/default.nix
View file

@ -16,7 +16,7 @@ in
VisualHostKey = yes
'';
matchBlocks = {
# personal use
# Personal
"git@github.com" = {
match = "Host github.com User git";
identityFile = git;
@ -25,6 +25,16 @@ in
match = "Host git.sr.ht User git";
identityFile = git;
};
"*.vpn.rfive.de" = {
user = "root";
};
# TU Dresden
"tud" = {
hostname = "login.zih.tu-dresden.de";
user = "rose159e";
};
# iFSR
"fsr" = {
hostname = "ifsr.de";
@ -33,27 +43,14 @@ in
"quitte" = {
hostname = "quitte.ifsr.de";
user = "root";
extraOptions = {
RequestTTY = "yes";
RemoteCommand = "zsh -i";
};
};
"quitte-notty" = {
hostname = "quitte.ifsr.de";
user = "root";
};
"tomate" = {
hostname = "tomate.ifsr.de";
user = "root";
extraOptions = {
RequestTTY = "yes";
RemoteCommand = "zsh -i";
ProxyJump = "tud";
};
};
"tomate-notty" = {
hostname = "tomate.ifsr.de";
user = "root";
};
"git@ifsr.de" = {
match = "Host ifsr.de User git";
identityFile = git;
@ -74,9 +71,6 @@ in
VerifyHostKeyDNS = "yes";
};
};
"*.vpn.rfive.de" = {
user = "root";
};
"git@git.agdsn.de" = {
match = "Host git.agdsn.de User git";
identityFile = git;