Analyse statistique des données de biopuces

publicité
Département des ressources humaines
Formation continue
GIT POUR UTILISATEURS DE GESTION DE VERSIONS
 Acquérir les notions de bases en
o gestionnaires de révisions décentralisés
o administration de dépôt
Objectifs
 A la fin de la formation, les stagiaires seront capables avec GIT :
o d’utiliser un gestionnaire de version décentralisé
o intégrer les contributions extérieures
Public concerné
Personnel scientifique, ingénieurs, techniciens doctorants, post-doctorants
maîtrisant au moins un outil centralisé (svn/cvs).
La gestion de versions (en anglais version control ou revision control) consiste à maintenir
l'ensemble des versions d'un ou plusieurs fichiers (généralement en texte). Essentiellement
utilisée dans le domaine de la création de logiciels, elle concerne surtout la gestion des
codes source. [source : wikipédia]
La gestion de version est une composante principale de tout suivi de développement
informatique. Cette notion s’applique aussi bien pour un développeur travaillant seul, ou au
sein d’une équipe lors d’un travail collaboratif. GIT est un logiciel de gestion de versions
décentralisé distribué sous licence publique, gérant l’évolution du contenu d’une
arborescence.
Chaque session de cours est suivi par une application pratique (chaque étudiant aura un pc à
disposition) à partir d’exemples concrets, si possible du même type que ceux auxquels les
stagiaires sont confrontés régulièrement.
Les thèmes abordés seront :

Introduction à la gestion de révisions décentralisée
o
cas d'utilisation
o
différences entre outils centralisés et décentralisés
o
historique
Contenu

Présentation de GIT
o
origine
o
philosophie
o
interfaces graphiques

3. Travailler avec un dépôt local
o
créer un dépôt (init)
o
ajouter/supprimer des fichiers (add, rm)
o
créer de nouvelles révisions (commit)
o
comprendre le fonctionnement de l'index (staging area)
o
afficher les différences entre deux révisions (diff)

Utilisation des branches
o
comprendre comment git gère son historique
o
créer/supprimer des branches (branch)
o
fusionner des branches (merge), résoudre les conflits

Administrer un serveur
o
créer un dépôt partagé
o
les différents protocoles utilisables
o
configurations/workflows courants

6. Interagir avec un dépôt distant
o
comprendre comment git traite les dépôts distants
Département des ressources humaines
Formation continue
o
o
configurer l'accès à un dépôt distant (remote)
synchroniser une branche local avec une branche distante (push, pull)

Intégrer les contributions de personnes extérieures
o
générer, appliquer des patches (format-patch, am)
o
propager une branche depuis/vers un dépôt extérieur

Extras
o
o
o
quelques conseils
pièges à éviter
documentation
(la formation sera en français mais les supports de cours seront en anglais)

Minimum requis

Avoir une bonne maîtrise des commandes de base (checkout, add, rm, commit,
update)
Savoir résoudre les conflits
Effectif
12 personnes maximum
1 jour, 17 octobre 2013
Et Durée
CNRS - Institut de Biologie de Lille
Lieu
Organisateur
CNRS DR18 Formation permanente / Min2Rien /DEVLOG
AVANT LE 27 SEPTEMBRE 2013
Inscriptions
Fiche d’inscription à télécharger à l’adresse suivante :
http://www.dr18.cnrs.fr/delegation/drservice/formulaires/docssprh/formation.html et à
renvoyer à Pierre Silveira - Responsable Formation CNRS DR18
email : [email protected]
Tel : 03 20 12 36 88
FAX : 03 20 12 36 90
Téléchargement