Ceci est une ancienne révision du document !
Table des matières
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>
Où <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 .