I can answer the question myself: there is “ssh-copy-id” for distributing public ssh-keys ssh-copy-id -i public_key user@hostname