I have a server with SSH running on a non-standard port. Instead of 22, it runs on 8129. To log in, I use:
ssh -p 8129 hostname
Now, whenever I need to set up a key for password-less login, I have to copy the public key and add it to authorized_keys manually. I discovered that the command
ssh-copy-id could be used to simplify this process, but it seems like it does not have an option to specify the port of the ssh server.
Is there some way to tell
ssh-copy-id to use port 8129, or should I just forget about this command and copy/paste manually as before?