SetEnv TERM=xterm-256color

Host dupont 
    HostName 172.25.11.30
    user sjb
    ForwardAgent yes
    RemoteForward /run/user/1000/gnupg/S.gpg-agent /run/user/1000/gnupg/S.gpg-agent.extra
    StreamLocalBindUnlink yes
    RequestTTY yes

Host haddock-tmux
    User sjb
    Hostname 129.100.33.96
    ForwardAgent yes
    RemoteForward /run/user/1000/gnupg/S.gpg-agent /run/user/1000/gnupg/S.gpg-agent.extra
    StreamLocalBindUnlink yes
    RequestTTY yes
    RemoteCommand tmux -l new -A

Host risc-v
    User sjb
    Hostname 172.25.11.31
    ForwardAgent yes
    RemoteForward /run/user/1001/gnupg/S.gpg-agent /run/user/1000/gnupg/S.gpg-agent.extra
    StreamLocalBindUnlink yes
    RequestTTY yes