{
  config,
  lib,
  pkgs,
  ...
}:
{

  programs.ssh = {
    extraConfig = ''
      Host git-ssh.hadoly.fr
        Hostname git-ssh.hadoly.fr
        IdentityFile /run/secrets/ssh/mysaa@git.hadoly.fr
        Port 6900

      Host github.com
        HostName github.com
        IdentityFile /run/secrets/ssh/MysaaJava@github.com

      Host midori
        HostName midori.bernard.com.de
        User mysaa
        IdentityFile /run/secrets/ssh/mysaa@midori.bernard.com.de

      Match host nasvrillon exec "nc -w 1 -z 192.168.1.39 5001"
        HostName 192.168.1.39
        Port 22
      Host nasvrillon
        HostName nasvrillon.myqnapcloud.com
        User samy
        Port 6962
        ConnectTimeout 10
        AddressFamily inet

      Host gitlab.aliens-lyon.fr
        HostName gitlab.aliens-lyon.fr
        User savrillo
        IdentityFile /run/secrets/ssh/savrillo@gitlab.ens-lyon.fr

      Host teapot
        HostName teapot.ens-lyon.fr
        User enverts
        IdentityFile /run/secrets/ssh/enverts@teapot.ens-lyon.fr

      Host gitlab.inria.fr
        HostName gitlab.inria.fr
        User savrillo
        IdentityFile /run/secrets/ssh/savrillo@gitlab.inria.fr
    '';
  };

}