Formations à l'informatique et à l'électronique

Auteur : SD
Créé le : 14-09-2023

Mémo GIT

Cette page contient un mémo des principales commandes GIT, ce n'est pas un cours sur GIT, il est nécessaire d'avoir les connaissances de base sur GIT pour utiliser ce mémo.

Sommaire

Logo GIT

Les bases

Afficher la version de GIT

git ––version

Afficher la configuration du dépôt

git  config  --list

Afficher la configuration pour un paramètre particulier

git  config  user.name
git  config  user.email

Configurer GIT (global = pour tous les futurs dépôts)

git config ––global user.name "monNomUtilisateur"
git config ––global user.email "utilisateur@mail.fr"

Obtenir de l’aide sur une commande

git  nomDeLaCommande  -h

Initialiser un dépôt

git  init				// dans le dossier courant
git  init  monDossier	// dans le dossier monDossier (le dossier est créé si il n’existe pas)

Configurer le dépôt (local = pour le dépôt courant)

git  config  --local user.name  "monNomUtilisateur"
git  config  --local user.email  "utilisateur@mail.fr"

Afficher l’état du dépôt

git  status

Ajouter un fichier à l’index

git  add  monFichier

Faire un commit

git  commit  -m  "Message"

Annuler les changements pour un fichier dans l’index

git  reset  HEAD––monFichier

Annuler les changements dans le dossier de travail

git  restore  monFichier

Supprimer un fichier de l’index

git  rm  --cached  nomFichier

Supprimer un fichier de l’index ET du dossier de travail

git  rm  –f  nomFichier

Lister tous les commits du dépôt

git  log

Afficher les différences entre le dossier de travail et l’index

git  diff

Afficher les différences entre l’index et le dépôt

git  diff  ––cached

Les branches

Lister toutes les branches du dépôt

git  branch

Créer un branche

git  branch  nomNouvelleBranche

Changer de branche

ATTENTION : Change l’index et le contenu du dossier de travail

git  checkout  nomDeLaBranche

La fusion (merge)

Il faut être sur la branche qui "reçoit" la fusion.

ATTENTION : Si les deux branches ont été modifiées on peut être amené à résoudre des conflits.

git  merge  nomDeLaBrancheAFusionner

Supprimer une branche (il ne faut pas être dessus !)

git  branch  -d  nomDeLaBranche

Créer une branche ET aller dessus

git  checkout  -b  nomDeLaBranche

Travailler avec un dépôt distant

Lier un dépôt distant à un dépôt local

git  remote  add  nomDepotDistant  URL_DuDepot

Afficher le nom du dépôt lié

git  remote

Push sur un dépôt distant

git  push  nomDepotDistant  nomBranche

Récupérer en local un projet sur un dépôt distant

git  clone  URL_DuDepot  nomDossier

Récupérer en local les modifications d’un dépôt distant

ATTENTION : Si le dépôt local et le dépôt distant ont été modifiés on peut être amené à résoudre des conflits.

git  pull  nomDepotDistant  nomBranche

Cette commande est équivalente à :

git  fetch  nomDepotDistant
git  merge  nomDepotDistant/nomBranche

Vous avez apprécié cet article ? Partagez le !