Outils pour utilisateurs

Outils du site


dvcs:git

Ceci est une ancienne révision du document !


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.

Changer le nom de la branche par défaut (master).

git config --global init.defaultBranch main

Maintenant à chaque fois qu'un dépôt sera créé, la branche par défaut s'appellera main.

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.

<note important> Il faut au préalable cloner le dépôt distant. </note>

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).

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

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
dvcs/git.1664112931.txt.gz · Dernière modification : 2022/09/25 15:35 de 127.0.0.1

Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : Public Domain