Présentation

Cette page a pour but de donner une liste réduite des commandes utiles à GIT. Espérons que vous ne trouvez pas cela trop grand.

Vous ne trouverez ici que des commandes à taper dans une console.

Configuration de l’utilisateur par défaut

Configurez votre nom d’utilisateur et votre courriel ainsi :

git config --global user.name "Olivier DOSSMANN"
git config --global user.email git@dossmann.net

Les commandes à ne pas manquer

help, aide sur n’importe quelle commande

Permet à tout moment d’obtenir de l’aide.

git help

clone, récupère le dépôt distant

Récupère un dépôt distant.

git clone git://serveur/projet nom_que_je_veux_lui_donner_en_local

status, information sur le dépôt courant

La commande la plus utilisée à mon humble avis : elle donne l’état du dépôt quel qu’il soit. C’est à dire l’ensemble des fichiers ajoutés, inconnus, supprimés, en conflit, etc.

git status

add, ajouter le fichier au prochain commit

Ajoute un fichier à la liste du ou des prochain(s) “commit” à effectuer.

git add fichier1 fichier2 dossier1 dossier2/fichier4 *.log

commit, valide les modifications

Génère un commit, c’est à dire un ensemble de modifications effectuées sur le dépôt. N’est PAS envoyé sur le dépôt distant.

git commit

Possèdent quelques options (Cf. git help commit) comme :

git commit -m "Message de commit"

push, envoie les commits

Envoie l’ensemble des commits effectués sur le dépôt.

git push

pull, passe sur un autre arbre

Met à jour l’arbre distant avec l’arbre actuel.

git pull

commit –amend, j’ai oublié un truc !

Génère un commit qui va écraser le précédent ! Très utile quand on s’est trompé dans la description du dernier commit ou que l’on a oublié un fichier.

git commit --amend

tag, appose une étiquette

Ajout une étiquette au dépôt actuel.

git tag "0.1" -m "Version 0.1 - Œil de Lynx"

Ensuite, pour envoyer sur le dépôt distant vos tags, faites :

git push --tags

Améliorer votre utilisation

Informations sur le dépôt distant

git remote show origin

Hash du dernier commit effectué

git rev-parse HEAD

Hash du dernier commit effectué sur le dépôt distant

git rev-parse remotes/origin/HEAD

Créer des raccourcis de commandes GIT

Il suffit d’utiliser la commande git config comme ceci :

git config --global  alias.ci 'commit -a'
git config --global alias.co checkout

Ceci aura pour effet de pouvoir utiliser les commandes git ci et git co à la place, respectivement, de git commit -a et git checkout.

Égayer git avec des couleurs

git config --global color.ui true

Et voilà !

Testez par exemple la commande git log. C’est un peu plus coloré (plus lisible en somme).

Afficher plus de détails aux journaux

git log --stat

Cette commande est assez pratique pour connaître les fichiers modifiés et le nombres de lignes ajoutées/supprimées. En somme c’est une méthode pour mesurer l’importance des modifications sur chacun des commits envoyés.

Encore plus d’informations sous gitk

cd monprojet.git
gitk --all

Cette commande permet d’afficher un maximum d’informations contenues dans le dépôt GIT en cours de navigation. C’est très utile pour avoir une vision plus réelle de ce qu’il s’y passe.

Comment omettre certains fichiers

Il suffit d’éditer le fichier .gitignore se trouvant à la racine de votre dossier personnel. Le remplir est simple : on édite le fichier et on ajoute, pour chaque ligne, une règle qui va omettre un ou plusieurs fichiers de la zone à récupérer.

Utiliser plusieurs dépôts sans gérer quoique ce soit

Le problème : vous avez un projet que vous envoyez sur :

La solution : ajoutez autant d’option url= dans votre fichier que vous n’avez de dépôts.

Par exemple pour le projet Makefly :

[core]
  repositoryformatversion = 0
  filemode = true
  bare = false
  logallrefupdates = true
[remote "origin"]
  url = git@github.com:blankoworld/makefly.git
  url = git@gitlab.com:makefly/master.git
  fetch = +refs/heads/*:refs/remotes/origin/*

Liens utiles