# Read more about SSH config files: https://linux.die.net/man/5/ssh_config

Host *
    StrictHostKeyChecking no

Host heimdall loki
    User pi
    ForwardAgent yes
    StreamLocalBindUnlink yes
    RemoteForward /run/user/1000/gnupg/S.gpg-agent /home/tobyv/.gnupg/S.gpg-agent.extra

Host odin thor 
    User tobyv
    ForwardAgent yes
    StreamLocalBindUnlink yes
    RemoteForward /home/tobyv/.gnupg/S.gpg-agent /home/tobyv/.gnupg/S.gpg-agent.extra

host bifrost
    User tobyv

Host siue
    User tovince
    HostName home.cs.siue.edu
    ForwardAgent yes
    StreamLocalBindUnlink yes
    RemoteForward /run/user/1400158178/gnupg/S.gpg-agent /home/tobyv/.gnupg/S.gpg-agent.extra
    RemoteCommand rm -f /run/user/1400158178/gnupg/S.gpg-agent && zsh -l
    RequestTTY force

Host zone
    User tovince
    HostName zone.cs.siue.edu
    ForwardAgent yes