{ 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; }; }; }; }