You can use either ProxyJump or do it as hack with netcat. Using ProxyJump is far easier to understand and gives less options to shoot yourself in the foot.
ProxyJump (recommended)
Host via_proxyjump
User judith
HostName 10.55.0.189
ProxyJump portal.my-site.de
# OR (with separate entry for the proxy host)
Host portal
HostName portal.my-site.de
User judith
Host via_proxyjump
User judith
HostName 10.55.0.189
ProxyJump portal
ProxyCommand
Host portal
HostName portal.my-site.de
User judith
Host via_netcat
Hostname 10.50.0.178
ProxyCommand ssh portal netcat -w 120 %h %p
Posted by Judith Roth to Judith's Dev Notes (2021-03-22 17:28)