search for: post2514812

I and others have enjoyed using the ssh-copy-id script for most systems, but when port numbers on target systems are changed it goes from being trivial to use to requiring a decent knowledge of how to set target ports on the client side in other ways (for example, ~/.ssh/config or something like that). Since these cases are the exception it'd be nice if ssh-copy-id could handle alternate