Fri, 02 Mar 2018 19:14:35 +0100 | wenzelm | merged | changeset | files |
Fri, 02 Mar 2018 18:57:55 +0100 | wenzelm | more ssh options; | changeset | files |
Fri, 02 Mar 2018 18:45:11 +0100 | wenzelm | support for proxy connection, similar to ProxyCommand in ssh config; | changeset | files |