Didn't appear to be a way to pushkey unless remote server listening on standard port 22

See attached patch.

CommentFileSizeAuthor
2011_02_17-support-ssh-options.patch2.38 KBwillieseabrook

Comments

dman’s picture

dman commented

+1 handy

... 'Though anyone who can deal with non-standard ssh options is probably capable of pushing their key by other normal means. By the time you've found that this option is necessary, and exists, and how to use it, I probably would have done it by hand instead. :-B

greg.1.anderson’s picture

greg.1.anderson commented
Status: Needs review » Fixed

Committed; thanks.

Status: Fixed » Closed (fixed)

Automatically closed -- issue fixed for 2 weeks with no activity.