Eu não entendi muito bem. Por que você precisa de um perfil pra cada ambiente?
Eu nunca precisei fazer isso, acabo por deixar várias chaves para diferentes propósitos no mesmo usuário.
Discussion
Bom, qdo vou dar push no github está indo com outro user e tenho q mudar a chave padrao manualmente para ir o usuário correto, como tu gerencia isso?
Configura isso em .git/config você pode alter diretamente tudo, o aquivo config do seu repositório git vai ter algo como:
[user]
name = seu user namne
email = seu email
[core]
sshCommand = ssh -i /caminho/id_sra
Em sshCommand você coloca o caminho da chave e no demais as informações do usuário.
Legal, acho q faltou esse sshCommand!
Não conhecia essa configuração (por usuário). Sempre faço minhas configurações difrente para cada server remoto (por host).
Desculpa, confundi o config do ssh com o config do git 😆
É para configurar local, não global 🐸
Parece mais trabalhoso, eu sempre configurei assim direto no repositório, até porque as aplicações que tenho rodo tudo na mesma máquina, um notebook que quebrou a tela mas é muito bom kkkk i5 de 8th com 32gb de RAM.