# Read more about SSH config files: https://linux.die.net/man/5/ssh_config
Host bifrost
    User tobyv
    HostName bifrost
    
Host heimdall
    User pi
    HostName heimdall
    ForwardAgent yes

Host loki
    User pi
    HostName loki.asgard
    ForwardAgent yes
    StreamLocalBindUnlink yes

Host odin
    User tobyv
    HostName odin.asgard
    ForwardAgent yes

Host thor
    User tobyv
    HostName thor.asgard
    ForwardAgent yes

Host mjolnir
    User u0_a382
    HostName mjolnir.asgard
    Port 8022

Host siue
    User tovince
    HostName os.cs.siue.edu
    ForwardAgent yes
    RemoteCommand zsh -l
    RequestTTY force