dotfiles/roles/user/ssh/files/ssh_config

# By default use the FIDO2 key from Yubikey
IdentityFile ~/.ssh/id_ed25519_sk

# Deny authentication via Kerberos by default
GSSAPIAuthentication no

# PIV secrets, disabled by default
PKCS11Provider none
# PKCS11Provider libykcs11.so.2

# Needs to be done for using the SSH key from GnuPG via Yubikey
Match Host * exec "gpg-connect-agent UPDATESTARTUPTTY /bye"

# Public
Host github.com
    User        git
    Hostname    github.com

Host gitlab.com
    User        git
    Hostname    gitlab.com

Host git.sr.ht
    User        git
    Hostname    git.sr.ht

Host codeberg.org
    User        git
    Hostname    codeberg.org

# FI
Host gitlab.fi.muni.cz
    User        git
    Hostname    gitlab.fi.muni.cz

Host aisa anxur pontos0?
    GSSAPIAuthentication    yes
    User                    xfocko
    Hostname                %h.fi.muni.cz

Host nymfe*
    GSSAPIAuthentication    yes
    User                    xfocko
    ProxyJump               xfocko@aisa.fi.muni.cz
    Hostname                %h.fi.muni.cz

# Private
Host poincare
    User        mfocko
    Hostname    mfocko.xyz
    Port        22022

Host git.mfocko.xyz
    User        git
    Hostname    git.mfocko.xyz
    Port        2222

Host gitlab.mfocko.xyz
    User        git
    Hostname    gitlab.mfocko.xyz
    Port        10023

Host maxwell
    User        mfocko
    Hostname    maxwell.mfocko.xyz
    Port        22022

Host git.maxwell.mfocko.xyz
    User        git
    Hostname    git.maxwell.mfocko.xyz
    Port        22022