S'inscrire

Gestion décentralisée de versions avec GIT

Environnement scientifique et technique de la formation

Laboratoire d'informatique de Grenoble - UMR 5217

RESPONSABLES

Vania MARANGOZOVA-MARTIN

Maîtresse de conférences

UMR 5217

Nicolas PALIX

Maître de conférences

UMR 5217

LIEU

GRENOBLE (38)

ORGANISATION

2 jours
De 4 à 12 stagiaires
TP encadrés par 1 intervenant pour 6 stagiaires maximum

COÛT PÉDAGOGIQUE

1000 Euros

A L'ISSUE DE LA FORMATION

Evaluation de la formation par les stagiaires
Envoi d'une attestation de formation

DATE DU STAGE

19287 : du jeudi 13/06/2019 au vendredi 14/06/2019

Janvier Février Mars Avril
Mai Juin
19287
Juillet Août
Sept. Oct. Nov. Déc.

OBJECTIFS

- Maîtriser les concepts de gestion décentralisée de versions
- Connaître les bonnes pratiques et acquérir les bons réflexes avec la gestion de versions
- Savoir identifier les cas de projets nécessitant une gestion de versions
- Maîtriser les étapes de la mise en place d'un projet avec l'outil GIT : installation, paramétrage, initialisation de nouveaux projets, migration vers GIT, travail collaboratif de développement

PUBLICS

Techniciens, ingénieurs et chercheurs impliqués dans le développement logiciel ou la rédaction collaborative de documents scientifiques (LaTeX) ; développeurs logiciels
Afin d'adapter le contenu du stage aux attentes des stagiaires, un questionnaire téléchargeable devra être complété et renvoyé au moment de l'inscription.

Prérequis : connaissance du système Unix ; notions de programmation en lignes de commande ; notions d'accès à distance

PROGRAMME

L'outil GIT (https://git-scm.com/) est un outil standard de gestion décentralisée de versions ; il est utilisé par les géants de l'industrie comme par exemple les GAFA, la fondation Eclipse ou Netflix.

Introduction
- Motivation de la gestion de versions
- Terminologie : dépôt, projet, révision, branche, répertoire de travail...
- Evolution depuis des systèmes centralisés (SVN, CVS) vers des systèmes décentralisés (type GIT)
Scenarii d'utilisation
- Développement collaboratif
- Rédaction (collaborative ou non) de documents
- Gestion de lignes de produits
- Gestion de correctifs (patchs de bugs)
L'outil GIT
- Architecture de base ; création de dépôt
- Gestion locale d'un dépôt : branches, tags, commits...
- Gestion collaborative : dépôt distant (remote), échange de modifications (push, pull, fetch)
- Résolution de conflits
- Gestion et visualisation de l'historique
- Méthodologie de travail (workflow)
- GIT avancé : submodules, stash, cherrypick
Intégration de GIT dans l'environnement utilisateur : IDE, services en ligne (gitlab, github...), explorateur de fichiers
- Mise en pratique

Alternance de cours (50 %) et de travaux pratiques (50 %)

EQUIPEMENT

Il sera demandé aux stagiaires de venir avec leur propre ordinateur portable. Les recommandations liées à la préparation des machines seront communiquées avant le début du stage.

Choisir une formation

Choisir un autre domaine

+ d'infos