Git

Git est un gestionnaire de versions. Il est décentralisé.

Pourquoi ?

  • Pour travailler à plusieurs (sans s'envoyer des mails !)
  • Pour garder plusieurs versions courantes du logiciel (branches)
  • Pour de la documentation "historique" : quelle était la raison de cette ligne de code ?

Pourquoi décentralisé ?

  • Pour pouvoir travailler dans le train

Idée générale

Quelques commandes

Pour faire çaIl faut taper ça
Pour récupérer du code du serveurgit clone <adresse>
Pour dire qu'un fichier particulier doit être versionnégit add <nomdufichier>
Pour estampiller mes fichiersgit commit -a -m "algorithme Dijkstra"
Pour mettre mes modifications sur le serveurgit push
Pour récupérer les modifications des autres depuis le serveurgit pull
Pour connaître l'URL du dépôt distant (serveur)git remote -v

Commandes avancées

Pour faire çaIl faut taper ça
Modifier l'URL du serveur d'un dépôt localgit remote rm origin puis git remote add origin <url to NEW repo>, puis git push origin --all

Quiz

  • Quelle est la différence entre upstream et origin ?
  • Quelles est la différence entre workspace, index et local repository ?
  • A-t-on besoin d'une connexion Internet pour faire un git commit ?