Host *
HashKnownHosts no
VerifyHostKeyDNS yes

Host * !localhost
Include conf.inc/sharedsessions.conf

Host * !localhost !*.local
Compression yes
#ProxyCommand monkeysphere ssh-proxycommand %h %p
#ProxyCommand sh -c 'monkeysphere ssh-proxycommand --no-connect "%h" "%p"; corkscrew 10.228.192.210 3128 %h %p /home/jonas/.ssh/auth.guifi.net'