Github e Gitlab stessa macchina

Questo setup consente di avere piu chiavi SSH (o la stessa) e usarla ogni volta a seconda della propria identità.

Prerequisiti

Chiavi SSH in $HOME/.ssh/

Procedimento

Scrivere nel file $HOME/.ssh/config:

Host github github.com
    HostName github.com
    IdentityFile ~/.ssh/<github_directory>/pk  # different private key for github
    User <github_username>

Host *
    IdentityFile ~/.ssh/<gitlab_directory>/pk # private key for gitlab
    User <username>

Quando si fanno richieste usando SSH, a seconda dell’host verrà usata una anziché l’altra chiave.

Creare una cartella di lavoro, (es. /home/<username>/Workspace/private)
Creare dentro questa cartella un file chiamato .gitconfig con questo contenuto:

[user]
    email = <github email>
    name = <github username>

Verificare andando in una qualsiasi repo in /home/<username>/Workspace/private se effettivamente il .gitconfig è stato correttamente configurato, scrivendo su un terminale git config user.name e git config user.email

Parole chiavi: git setup misto