To ssh with a socks5 proxy on mac os ssh user@dest_ip -o "ProxyCommand=nc -X 5 -x proxy_ip:proxy_port %h %p"