greatroar e1969d1e33 Put host last in SSH command line
This is how the SSH manpage says the command line should look, and the
"--" prevents mistakes in hostnames from being interpreted as options.
2020-02-19 15:53:20 +01:00
..
2020-02-19 15:42:12 +01:00
2020-02-19 15:42:12 +01:00
2017-07-23 14:19:13 +02:00
2018-01-17 23:14:47 +01:00
2020-02-19 15:53:20 +01:00