# Personal SSH configuration

Host github.com
    HostName github.com
    User git
    IdentityFile ~/.ssh/id_ed25519
    AddKeysToAgent yes

Host *
    ServerAliveInterval 60
    ServerAliveCountMax 3
    AddKeysToAgent yes
    IdentitiesOnly yes

Host dev-server
    HostName 192.168.1.100
    User developer
    Port 2222
    ForwardAgent yes
    LocalForward 8080 localhost:80

Host jump-host
    HostName bastion.example.com
    User admin
    IdentityFile ~/.ssh/jump_key

Host internal-*
    ProxyJump jump-host
    User deploy
