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.
The syntax is as follows to install ssh-keys: $ ssh-copy-id user@server-name-here $ ssh-copy-id -i /path/to/identity-file user@server-name-here The -i /path/to/identity-fileforces ssh-copy-id command to use only the key(s) contained in identity_file rathe