Summary

Hard coded 10-second ssh timeout is not suitable for all environments.

Description

Currently there is a hardcoded 10-seconds connection timeout for SSH, see here:

I run SSH over various tunnelling and proxying mechanisms which sometimes takes more than 10 seconds to establish, so despite the connection being stable and usable I'll sometimes have a hard time just to get connected. Once I am connected the remote session works well, but getting that initial connection because of this hardcoded timeout can be difficult.

This timeout should either be configurable or greatly increased.