fn push_destination(args: &mut Vec<String>, dest: &SshDest)
The port, if any, then -- and the destination: -- ends ssh’s options, so the destination can never be read as one (conn.rs also refuses a leading -).
--
-