i'd like to allow user 'devel' to login to any other server using public keys as user 'devel'. This user is not a human, but a scripting-only account. How can I accomplish this? Is Puppet the right way? How does each source server receive the necessary key material? I am very aware of the how private and public keys are used for SSH authentication and the degree of confidentiality that goes with private keys.
Assume there are 100 servers, and private & public keys need to be changed every 90 days.