nixos-config/users/rouven/modules/ssh/default.nix

{ pkgs, ... }:
let
  git = "~/.ssh/git";
in
{
  programs.ssh = {
    enable = true;
    package = pkgs.openssh_gssapi;
    compression = true;
    controlMaster = "auto";
    controlPersist = "10m";
    extraConfig = ''
      CanonicalizeHostname yes
      CanonicalDomains agdsn.network vpn.rfive.de net.tu-dresden.de
      PKCS11Provider /run/current-system/sw/lib/libtpm2_pkcs11.so
      IdentityFile ~/.ssh/id_ed25519
      SetEnv TERM=xterm-256color
      VisualHostKey = yes
    '';
    matchBlocks = {
      # Personal
      "git@github.com" = {
        match = "Host github.com User git";
        identityFile = git;
      };
      "git@git.sr.ht" = {
        match = "Host git.sr.ht User git";
        identityFile = git;
      };
      "*.vpn.rfive.de" = {
        user = "root";
      };

      # TU Dresden
      "tud" = {
        hostname = "login.zih.tu-dresden.de";
        user = "rose159e";
      };
      "*.zih.tu-dresden.de" = {
        user = "rose159e";
      };
      "*.net.tu-dresden.de" = {
        user = "rose159e";
      };
      "git@gitlab.hrz.tu-chemnitz.de" = {
        match = "Host gitlab.hrz.tu-chemnitz.de User git";
        identityFile = git;
      };

      # iFSR
      "quitte" = {
        hostname = "quitte.ifsr.de";
        user = "rouven.seifert";
      };
      "tomate" = {
        hostname = "tomate.ifsr.de";
        user = "rouven.seifert";
        extraOptions = {
          ProxyJump = "tud";
        };
      };
      "git@ifsr.de" = {
        match = "Host ifsr.de User git";
        identityFile = git;
      };

      # AG DSN
      "dijkstra" = {
        hostname = "login.agdsn.tu-dresden.de";
        user = "r5";
        extraOptions = {
          VerifyHostKeyDNS = "yes";
          GSSAPIAuthentication = "yes";
        };
      };
      "*.agdsn.network" = {
        user = "r5";
        extraOptions = {
          # ProxyJump = "dijkstra";
          VerifyHostKeyDNS = "yes";
          GSSAPIAuthentication = "yes";
        };
      };
      "git@git.agdsn.de" = {
        match = "Host git.agdsn.de User git";
        identityFile = git;
      };
    };
  };
}