Add ssh hosts

This commit is contained in:
Erwin Boskma 2022-10-26 17:03:15 +02:00
parent 06901b4d5f
commit c0707a50e7
Signed by: erwin
GPG key ID: 270B20D17394F7E5

View file

@ -1,3 +1,4 @@
{ pkgs { pkgs
, config , config
, lib , lib
@ -45,9 +46,20 @@ in
}; };
proxy = { proxy = {
forwardAgent = true;
hostname = "10.0.0.251"; hostname = "10.0.0.251";
}; };
gitea = {
forwardAgent = true;
hostname = "10.0.0.201";
};
drone = {
forwardAgent = true;
hostname = "10.0.0.202";
};
"git.datarift.nl" = { "git.datarift.nl" = {
hostname = "10.0.0.201"; hostname = "10.0.0.201";
}; };
@ -64,6 +76,10 @@ in
"repohost.bedum.horus.nu" = { "repohost.bedum.horus.nu" = {
forwardAgent = true; forwardAgent = true;
}; };
"gitea.bedum.horus.nu" = {
forwardAgent = true;
};
}; };
}; };
}; };