Skip to content
Snippets Groups Projects
Commit 14a31cbc authored by orestis.malaspin's avatar orestis.malaspin
Browse files

ajout debut slides

parents
Branches
No related tags found
No related merge requests found
default: git_tutorial.md
pandoc -s -t beamer -o git_tutorial.pdf git_tutorial.md --highlight-style kate --filter=pandoc-numbering --number-sections --filter=$(PANDOC_CROSSREF)pandoc-crossref
\ No newline at end of file
% Introduction à Git
# Des références
Il existe énormément de très bons documents et tutoriels en ligne:
- https://git-scm.com/
-
Des tas de repo en ligne:
- https://githepia.hesge.ch
- https://www.github.com
- https://www.gitlab.com
Et des GUI assez utiles:
- GitExtensions: https://gitextensions.github.io/
- GitKraken: https://www.gitkraken.com/
# Qu'est-ce que Git?
- Git est un outil de gestion de versions (dév. par L. Torvalds).
* Cela évite d'avoir à gérer les fichiers d'un projet comme:
- fichier.c
- fichier_10_3_2018.c
- fichier_10_3_2018_16h.c
- fichier_10_3_2018_16h_Malaspinas.c
- fichier_10_3_2018_16h_Gluck.c
* L'historique est accessible à tout moment.
* Difficile d'écraser le mauvais fichier lors d'une synchronisation.
- Possibilité de découpler le développement dans un projet.
* Fusionne les modifications non-conflictuelles automatiquement.
* Un projet peut avoir différentes *branches* de développement (on peut développer une nouvelle version et faire des corrections de bug en parallèle).
# Principe de fonctionnement de Git
Git est un outil décentralisé.
Typiquement un projet git possède un serveur "officiel" géré par l'administrateur. Mais:
- Un développeur peut faire une copie (clone) de tout le projet (sur son serveur à lui).
- Modifier localement le projet et publier (push) ses propres modifications (sur son serveur à lui).
- Demander au gestionnaire du projet de fusionner (merge) ses modifications avec le serveur "officiel" (pull request):
- L'administrateur récupère le projet depuis le serveur du développeur.
- Fusionne le projet officiel avec celui modifié.
- Publie les modifications sur le serveur officiel.
\ No newline at end of file
{
"folders":
[
{
"path": "."
}
]
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment