Ne plus se tromper de profil Git !

Combien de fois je me suis trompé en commitant avec mon profil perso sur des repos Git au lieu d’utiliser mon profil pro ou même l’inverse…
Aujourd’hui ce temps est révolu 😅 !

Lorsqu’on utilise git, nous pouvons le configurer grâce à la commande $ git config.
Il existe différents niveaux de configuration. Le principal nommé global est surchargable avec des configurations propres au repo local.

Si vous utilisez Git, vous avez sûrement déjà dû faire la commande $ git config --global user.email pygargue-a-queue-blanche@fan-doiseau.fr une première fois.
Cette commande aura pour action de simplement alimenter votre fichier ~/.gitconfig.
Et bien on peut indiquer spécifiquement pour un repo d’utiliser une adresse email différente pour vos commits en exécutant la commande dans le répertoire du projet $ git config user.email jean.michel@entreprise.fr
(Vous noterez l’absence de “–global”) Cela va alimenter le fichier .git/config de votre projet.

C’est bien tout ça mais c’est un peu fastidieux (voir la 💩) de faire ça pour tous les projets !

Personnellement, j’utilise un répertoire ~/workspace dans lequel j’ai un dossier perso et pro.
Depuis Git v2.13 (si vous avez fait vos mises à jours depuis 2017, tout ira bien 😉), on peut faire une inclusion conditionnelle d’une configuration.

Indiquons une adresse email différente pour tous les répertoires enfant de mon répertoire pro !

~/.gitconfig

[user]
    name = Jean Michel
    email = pygargue-a-queue-blanche@fan-doiseau.fr

[includeIf "gitdir:~/workspace/pro/"]
    path = ~/workspace/pro/.gitconfig

~/workspace/pro/.gitconfig

[user]
    email = jean.michel@entreprise.fr

Et c’est tout ! Maintenant ça fusionnera vos configurations git ! C’est pas génial ? 😋