Hi Barry (2015.10.10_21:02:00_+0200) > I don't want to wiki-churn so what do you think about backing out this change > and suggesting the ssh config instead?
I'd suggest ssh config too. +1. SR -- Stefano Rivera http://tumbleweed.org.za/ +1 415 683 3272