ssh_config

# General settings
Host *
        StrictHostKeyChecking no
        ForwardAgent yes
        Compression yes
        ServerAliveInterval 15
        ServerAliveCountMax 4
        UserKnownHostsFile /dev/null
        User kmoore
        Port 22

# Tista and the VA
Host stage
        HostName 52.61.187.248
        IdentityFile ~/.ssh/id_rsa_tista_va
        ForwardAgent yes
        DynamicForward 8888
        GatewayPorts yes

Host stage+*
        IdentityFile ~/.ssh/id_rsa_tista_va
        ControlMaster auto
        ProxyCommand ssh -T -A $(echo %h |cut -d+ -f1) nc $(echo %h |cut -d+ -f2) %p 2>/dev/null
        StrictHostKeyChecking no

Host prod
        HostName 52.222.110.120
        IdentityFile ~/.ssh/id_rsa_tista_va
        ForwardAgent yes
        DynamicForward 8889
        GatewayPorts yes

Host prod+*
        IdentityFile ~/.ssh/id_rsa_tista_va
        ControlMaster auto
        ProxyCommand ssh -T -A $(echo %h |cut -d+ -f1) nc $(echo %h |cut -d+ -f2) %p 2>/dev/null
        StrictHostKeyChecking no