# Read more about SSH config files: https://linux.die.net/man/5/ssh_config
Host *
    ForwardAgent yes
    StreamLocalBindUnlink yes
    RemoteForward /run/user/1000/gnupg/S.gpg-agent /home/tobyv/.gnupg/S.gpg-agent.extra

Host bifrost
    User tobyv
    HostName bifrost
    
Host heimdall
    User pi
    HostName heimdall

Host loki
    User pi
    HostName loki.asgard

Host odin
    User tobyv
    HostName odin.asgard

Host thor
    User tobyv
    HostName thor.asgard

Host mjolnir
    User u0_a382
    HostName mjolnir.asgard
    Port 8022

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