# Allow authentication via Kerberos
GSSAPIAuthentication no

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

# 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

# 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 maxwell
    User        mfocko
    Hostname    maxwell.mfocko.xyz
    Port        6969

Host poincare
    User        mfocko
    Hostname    mfocko.xyz
    Port        10022

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

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