Git-User-Switch : changer facilement d'utilisateur git

 (github.com)
8 points par xguru 2020-11-15 | 3 commentaires | Partager sur WhatsApp
  • Un outil CLI pour passer facilement d'un profil utilisateur à un autre (personnel/entreprise, etc.)

→ après avoir exécuté git-user, il suffit de sélectionner un utilisateur dans la liste pour appliquer immédiatement le changement

  • Prise en charge séparée des utilisateurs globaux et locaux (le mode local est la valeur par défaut)

→ ~/.gitconfig ou project/.git/config

  • Prend en charge l'ajout/la suppression d'utilisateurs ainsi que la réinitialisation complète

À lire aussi

3 commentaires

 
galadbran 2020-11-16

Quand plusieurs personnes travaillent dans le même dossier avec le même compte, comment peut-on faire pour vérifier et changer l’utilisateur avant le commit ? Merci d’avance pour vos conseils.
 
shockrabbit 2020-11-16

Merci de partager cet excellent outil.

À titre de suggestion supplémentaire, il me semble aussi que faire en sorte qu’un fichier gitconfig soit sélectionné en fonction du chemin est une bonne méthode.

https://gist.github.com/bgauduch/06a8c4ec2fec8fef6354afe94358c89e
 
xguru 2020-11-16

Waouh !! À mes yeux, c’est encore mieux. Merci.

En général, on utilise parfois des dossiers séparés pour le travail en entreprise et les projets personnels, donc il suffira sans doute de configurer une fois les dossiers racine entreprise/perso pour pouvoir travailler ensuite sans avoir à y penser.

Une méthode consiste à utiliser includeIf dans .gitconfig pour charger des informations utilisateur différentes selon le dossier.

[includeIf "gitdir:~/code/personal/"]

path = .gitconfig-personal

[includeIf "gitdir:~/code/professional/"]

path = .gitconfig-professional