I wanted to SSH into my home server from my workplace but I couldn’t reach it directly because of the way the network was set up.
As it turns out it is quite easy to do by using the corkscrew program.
Edit ~/.ssh/config and add the following lines:
Host home joris.his.homeserver.com Hostname joris.his.homeserver.com User joris ProxyCommand corkscrew proxyserveraddress proxyserverport %h %p
The most important part is the ProxyCommand, this lets your ssh client know that it should use corkscrew as a proxy to your host. %h means the host of your remote server, %p means the port of your remote server.