Host public_jumphost
    HostName mount-mockery.de
    User jump

Host hettingen_jumphost
    HostName localhost
    User jump
    Port 10022
    ProxyJump jump@public_jumphost

Host ahorn_tmux
    HostName ahorn
    User dirk
    Port 22
    RequestTTY yes
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh

Host alders_tmux
    HostName alders
    User dirk
    Port 22
    RequestTTY yes
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh

Host buche_tmux
    HostName buche
    User dirk
    Port 22
    RequestTTY yes
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh

Host erle_tmux
    HostName erle
    User dirk
    Port 22
    RequestTTY yes
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh

Host ffe_tmux
    HostName ffe
    User dirk
    Port 22
    RequestTTY yes
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh

Host ffe_ext
    HostName ffe
    User dirk
    Port 22
    RequestTTY yes
    ProxyJump jump@hettingen_jumphost

Host ffe_ext_tmux
    HostName ffe
    User dirk
    Port 22
    RequestTTY yes
    ProxyJump jump@hettingen_jumphost
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh

Host ffw_tmux
    HostName ffw
    User dirk
    Port 22
    RequestTTY yes
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh

Host ffw_ext
    HostName ffw
    User dirk
    Port 22
    RequestTTY yes
    ProxyJump jump@hettingen_jumphost

Host ffw_ext_tmux
    HostName ffw
    User dirk
    Port 22
    RequestTTY yes
    ProxyJump jump@hettingen_jumphost
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh

Host leyk_ext
    HostName leyk
    User dirk
    Port 22
    RequestTTY yes
    ProxyJump jump@hettingen_jumphost
    # RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh

Host mm_tmux
    HostName mount-mockery.de
    User root
    Port 22
    RequestTTY yes
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh

Host multimedia_tmux
    HostName multimedia
    User dirk
    Port 22
    RequestTTY yes
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh

Host multimedia_ext
    HostName localhost
    User dirk
    Port 10022
    RequestTTY yes
    ProxyJump jump@public_jumphost
    LocalForward 1880 localhost:1880

Host multimedia_ext_tmux
    HostName localhost
    User dirk
    Port 10022
    RequestTTY yes
    ProxyJump jump@public_jumphost
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
    LocalForward 1880 localhost:1880

Host multimedia_kb
    HostName 192.168.0.2
    User pi
    Port 22
    RequestTTY yes
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh

Host raspiscreen_tmux
    HostName raspiscreen
    User dirk
    Port 22
    RequestTTY yes
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh