[ssh] Add jumphost

.ssh/config

@@ -1,3 +1,7 @@
+#from https://wiki.gentoo.org/wiki/SSH_jump_host
+Host *+*
+	ProxyCommand ssh $(echo %h | sed 's/+[^+]*$//;s/\([^+%%]*\)%%\([^+]*\)$/\2 -l \1/;s/:/ -p /') nc -w1 $(echo %h | sed 's/^.*+//;/:/!s/$/ %p/;s/:/ /')
+
 Host mathux
 	Hostname mathux.org
 	Port 22
@@ -24,7 +28,7 @@ Host sirius
 	User android
 
 Host home
-	Hostname tutabaga.hd.free.fr
+	Hostname rutabaga.hd.free.fr
 	Port 22
 	User pi