dotfiles/users/richie/home/ssh_config.nix

{
  programs.ssh = {
    enable = true;
    enableDefaultConfig = false;
    settings = {
      jeeves = {
        HostName = "jeeves";
        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 = "brain";
        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 = "bob";
        User = "richie";
        IdentityFile = "~/.ssh/id_ed25519";
        Port = 262;
        DynamicForward = [ { port = 9050; } ];
      };
      rhapsody-in-green = {
        HostName = "rhapsody-in-green";
        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;
      };
    };
  };
}