my_config/.ssh/config

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
    HostName localhost
    User dirk
    Port 2022
    ProxyJump firewall

Host erle_tmux
    HostName localhost
    User dirk
    Port 2022
    ProxyJump firewall
    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 ffw_tmux
    HostName ffw
    User dirk
    Port 22
    RequestTTY yes
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh

Host gfe_tmux
    HostName gfe
    User dirk
    Port 22
    RequestTTY yes
    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 leyk_tmux
    HostName leyk
    User dirk
    Port 22
    RequestTTY yes
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh

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

Host firewall_ext
    HostName firewall
    User dirk
    Port 22
    RequestTTY yes
    LocalForward 8080 localhost:80
    ProxyJump dirk@hettingen_jumphost

Host firewall_ext_tmux
    HostName firewall
    User dirk
    Port 22
    RequestTTY yes
    RemoteCommand tmux attach-session -t default_ssh || tmux new-session -s default_ssh
    LocalForward 8080 localhost:80
    ProxyJump dirk@hettingen_jumphost

Host ffe_ext
    HostName ffe
    User dirk
    Port 22
    RequestTTY yes
    ProxyJump dirk@hettingen_jumphost
    LocalForward 8038 localhost:8038

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

Host ffw_ext
    HostName ffw
    User dirk
    Port 22
    RequestTTY yes
    ProxyJump dirk@hettingen_jumphost
    LocalForward 8038 localhost:8038

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

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

Host test_ext
    HostName test
    User dirk
    Port 22
    RequestTTY yes
    ProxyJump dirk@hettingen_jumphost

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

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 1888 localhost:1880
    LocalForward 8038 localhost:8038

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 1888 localhost:1880
    LocalForward 8038 localhost:8038

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