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.
Note: This would’ve been apparent if I had just cat the script… but man, am I lazy. :D