Git est un gestionnaire de versions. Il est décentralisé.
- 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 ?
- Pour pouvoir travailler dans le train
Pour faire ça | Il faut taper ça |
Pour récupérer du code du serveur | git clone <adresse> |
Pour dire qu'un fichier particulier doit être versionné | git add <nomdufichier> |
Pour estampiller mes fichiers | git commit -a -m "algorithme Dijkstra" |
Pour mettre mes modifications sur le serveur | git push |
Pour récupérer les modifications des autres depuis le serveur | git pull |
Pour connaître l'URL du dépôt distant (serveur) | git remote -v |
Pour faire ça | Il faut taper ça |
Modifier l'URL du serveur d'un dépôt local | git remote rm origin puis git remote add origin <url to NEW repo> , puis git push origin --all |
- 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
?