Passing in a custom port to ssh-copy-id

Thank you, #lazyweb.

After years of using ssh-copy-id to drop public keys into a remote machine’s authorized keys, I finally found a post showing how to use the script to connect to a remote machine running on a custom port.

http://it-ride.blogspot.com/2009/11/use-ssh-copy-id-on-different-port.html

Note: This would’ve been apparent if I had just cat the script… but man, am I lazy. :D