Outils pour utilisateurs

Outils du site


documentation:dvcs:git

Git

Il s'agit d'un logiciel de gestion de versions décentralisé. Initialement développé par Linus Torvalds.

Paramétrage

Pour personnaliser son environnement, on doit modifier certaines variables, grâce à l'option config.

Par exemple, pour ses identifiants :

git config --global user.name "Olivier Duchateau"
git config --global user.email me@domain.tld

Pour utiliser son éditeur préféré (lors des commits).

git config --global core.editor emacs

Dans cet exemple, je précise, que je souhaite utiliser Emacs.

Pour connaître la liste complète des réglages :

git config --list

Quelques commandes utiles

Ajouter des fichiers

git add ...

Connaître l'état du dépôt (savoir si des fichiers ont été modifiés)

git status

Enregistrer les modifications

git commit -a

Envoyer les modifications du dépôt sur un dépôt externe à celui en local

git push

Récupérer les sources

D'une manière générale, pour obtenir les sources d'un logiciel, il faut utiliser l'option clone.

git clone https://git.domain.tld/project

Sélectionner une branche particulière

Cela dépend, comment le dépôt est utilisé. Lorsqu'une branche est parfaitement identifiable par une étiquette, on peut procéder de la manière suivante.

git clone -b <branch> --single-branch https://git.domain.tld/project

Sélectionner un « tag »

Au cours de l'évolution d'un logiciel son ou ses développeur(s) préfère(nt) utiliser des tags, cela permet d'identifier les différentes versions.

Il faut au préalable cloner le dépôt distant.
git tag
git checkout <tag>

Ou

git checkout tags/...
  • git tag → liste tous les tags
  • git checkout <tag> → spécifie la « révision » souhaitée
  • → spécifie le tag souhaité
  • git status → vérification du dépôt

Proposer un patch

Si on a trouvé un bug, et, que l'on a un correctif. Pour en faire profiter le mainteneur, on doit lui envoyer son patch. Voici la démarche à suivre 1).

On travaille uniquement sur la branche dite master (celle de développement).

On effectue nos modifications, ensuite on doit les sauvegarder.

git commit -a

Le patch sera généré avec la commande git format-patch.

git format-patch -1 <n° revision>

<n° revision> est le hash retourné par la commande git commit -a précédemment utilisée.

On peut éventuellement éditer le fichier nouvellement créer.

Changer l'URL du dépôt distant, https → ssh

Pour connaître l'état actuel :

git remote -v
origin	https://example.com/ACCOUNT/repo.git (fetch)
origin	https://example.com/ACCOUNT/repo.git (push)

Puis

git remote set-url origin git@example.com:ACCOUNT/repo.git

Il faut bien sûr remplacer :

  • ACCOUNT → son identifiant
  • repo → le nom du dépôt

Annuler une ou plusieurs modifications

Si l'on a pas encore commité, via l'option git commit -a les modifications faites dans notre dépôt local (ceci va annuler les modifications !)

git checkout .
1)
Certains projets exigent d'autres compléments
documentation/dvcs/git.txt · Dernière modification: le 20-03-2020 à 14h27 de olivier