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

wayland: use river as default

Browse source
This commit is contained in:
Rouven Seifert 2023-12-17 17:22:51 +01:00
parent dd997624a9
commit 38d3e744ad
Signed by: rouven.seifert
GPG key ID: B95E8FE6B11C4D09
5 changed files with 30 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -25,7 +25,7 @@ in
hostname = "falkenstein.vpn.rfive.de";
user = "root";
extraOptions = {
VerifyHostKeyDNS = "ask";
VerifyHostKeyDNS = "yes";
};
};
# used for nix remote building
@ -58,10 +58,6 @@ in
hostname = "tomate.ifsr.de";
user = "root";
};
"kaki" = {
hostname = "kaki.ifsr.de";
user = "root";
};
"git@ifsr.de" = {
match = "Host ifsr.de User git";
identityFile = git;
@ -71,11 +67,15 @@ in
"dijkstra" = {
hostname = "login.agdsn.tu-dresden.de";
user = "r5";
extraOptions = {
VerifyHostKeyDNS = "yes";
};
};
"*.agdsn.network" = {
user = "r5";
extraOptions = {
ProxyJump = "dijkstra";
VerifyHostKeyDNS = "yes";
};
};
"git@git.agdsn.de" = {