Richie
f5a0038ab7
treefmt / nix fmt (pull_request) Successful in 6s
pytest / pytest (pull_request) Successful in 31s
test ebook search / test-ebook-search (pull_request) Successful in 35s
build_systems / build-brain (pull_request) Successful in 50s
build_systems / build-bob (pull_request) Successful in 55s
build_systems / build-rhapsody-in-green (pull_request) Successful in 1m3s
build_systems / build-jeeves (pull_request) Successful in 2m20s
treefmt / nix fmt (push) Successful in 5s
pytest / pytest (push) Successful in 32s
test ebook search / test-ebook-search (push) Successful in 33s
build_systems / build-bob (push) Successful in 37s
build_systems / build-brain (push) Successful in 36s
build_systems / build-rhapsody-in-green (push) Successful in 47s
build_systems / build-jeeves (push) Successful in 2m1s
- expose Gitea SSH through Portal on port 2223 - advertise the correct Gitea SSH user and domain - add the Gitea host to Richie’s SSH config - correct the local ACME challenge backend port
61 lines
1.5 KiB
Nix
61 lines
1.5 KiB
Nix
{
|
|
programs.ssh = {
|
|
enable = true;
|
|
enableDefaultConfig = false;
|
|
settings = {
|
|
jeeves = {
|
|
HostName = "192.168.90.40";
|
|
User = "richie";
|
|
IdentityFile = "~/.ssh/id_ed25519";
|
|
Port = 629;
|
|
DynamicForward = [ { port = 9050; } ];
|
|
Compression = true;
|
|
};
|
|
unlock-jeeves = {
|
|
HostName = "192.168.99.14";
|
|
User = "root";
|
|
IdentityFile = "~/.ssh/id_ed25519";
|
|
Port = 2222;
|
|
};
|
|
brain = {
|
|
HostName = "192.168.90.35";
|
|
User = "richie";
|
|
IdentityFile = "~/.ssh/id_ed25519";
|
|
Port = 129;
|
|
DynamicForward = [ { port = 9050; } ];
|
|
};
|
|
unlock-brain = {
|
|
HostName = "192.168.95.35";
|
|
User = "root";
|
|
IdentityFile = "~/.ssh/id_ed25519";
|
|
Port = 2222;
|
|
};
|
|
bob = {
|
|
HostName = "192.168.90.25";
|
|
User = "richie";
|
|
IdentityFile = "~/.ssh/id_ed25519";
|
|
Port = 262;
|
|
DynamicForward = [ { port = 9050; } ];
|
|
};
|
|
rhapsody-in-green = {
|
|
HostName = "192.168.90.221";
|
|
User = "richie";
|
|
IdentityFile = "~/.ssh/id_ed25519";
|
|
Port = 922;
|
|
};
|
|
portal-1 = {
|
|
HostName = "portal-1";
|
|
User = "richie";
|
|
IdentityFile = "~/.ssh/id_ed25519";
|
|
Port = 278;
|
|
};
|
|
"gitea.tmmworkshop.com" = {
|
|
HostName = "gitea.tmmworkshop.com";
|
|
User = "gitea";
|
|
IdentityFile = "~/.ssh/id_ed25519";
|
|
Port = 2223;
|
|
};
|
|
};
|
|
};
|
|
}
|