I want to access a host with a specific user, but I want this user to have multiple SSH keys.
Why? This is the user for deployment on the server and there are multiple developers who have to deploy. I'd like to use a different key for each developer. (Yes, I could create multiple deployment users, but that's quite costly on this managed server)
Example:
bob@bobs-workstation$ ssh -i ~/.ssh/id_rsa.bob deploy@host.com
alice@alices-workstation$ ssh -i ~/.ssh/id_rsa.alice deploy@host.com
Is this even possible?
In similar questions it's always about different users or different hosts and multiple SSH keys, but in this case it's about the same user and the same host with multiple SSH keys.