# Host-specific aliases come first: ssh takes the FIRST value it obtains for
# each keyword, so anything in config.local wins over the fleet defaults below.
Include ~/.ssh/config.local

# --- the fleet -------------------------------------------------------------
Host nas
    HostName 10.0.0.3
    User connor

Host mainframe
    HostName 10.0.0.2
    User connor
    ServerAliveInterval 30
    ServerAliveCountMax 6

Host system76
    HostName 10.0.0.4
    User connor

Host work_laptop
    HostName 10.0.0.8
    User connorjohnstone

# Correct from every machine except mainframe itself, which overrides it in
# hosts/mainframe/ssh/config.local — there, Gitea is a local port.
Host git.rcjohnstone.com
    HostName 10.0.0.2
    Port 2222
    User connor
    IdentityFile ~/.ssh/id_ed25519