Formations GIT

GIT est un puissant logiciel de gestion de version qui permet de travailler seul ou à plusieurs sur un projet (documents textes, code de calcul, ...) en archivant tout l’historique des versions successives.
Ce dernier constitue une sauvegarde intégrale du travail réalisé
et apporte une traçabilité des fichiers qui permet, entre autre,
de faciliter grandement la recherche de l’introduction de bug.

une introduction à GIT en une page A4 !

Deux formations de 3h chacune sont régulièrement proposées :

• un module "débutant" : (support en PDF)
  • objectif : travailler seul
    • concepts de base, les 4 zones (répertoire de travail, index, dépôt local & distant)
  • aucun prérequis à avoir même si vous n’avez jamais utilisé un quelconque logiciel de gestion de version.
• un module "collaboratif" : (support en PDF)
  • objectif : travailler à plusieurs : concepts clefs pour maîtriser les branches et les fusions (merge)
  • le module "débutant" est un prérequis

[marron]Prérequis pour ces deux modules[/marron] :

1. si formation en visio : faites le test indiqué ici
2. sinon : venir avec un ordinateur portable avec wifi Eduroam
3. avoir GIT sur son ordinateur portable
4. avoir une clef SSH
5. installer sa clef SSH sur votre serveur Gitlab de proximité
6. envoyer un courrier au formateur pour lui indiquer que tout est ok pour vous, ou lui signaler vos problèmes

Avoir GIT sur son ordinateur portable

• tappez git dans un terminal pour savoir si vous l’avez déja
• pour linux : https://git-scm.com/downloads
  • debian/ubuntu : sudo apt-get install git
  • fedora : sudo yum install git
• pour macos : https://git-scm.com/downloads
  • brew install git
  • (installer brew : /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install.sh)" )
• pour windows : https://git-scm.com/downloads
  • rendez-vous ici : https://git-scm.com/downloads
  • installer en faisant "ok" tout le temps

Avoir une clef SSH

L’idéal ici est d’avoir suivi la formation SSH.

A défaut, suivez ces instructions

Installer sa clef SSH sur une plateforme gitlab

Rendez-vous sur le(s) gitlab auxquels vous avez accès. Typiquement :

• https://plmlab.math.cnrs.fr
• https://gitlab.inria.fr
• https://gitub.u-bordeaux.fr
• https://git.univ-pau.fr
• ... votre gitlab de labo / d’établissement - se renseigner auprès de votre responsable informatique

Ajoutez votre clef :

• aller dans votre profil (en haut à droite)
• cliquer sur Settings dans la barre de gauche,
• cliquer sur SSH Keys
• copier-coller le contenu du fichier $HOME/.ssh/id_rsa.pub (ou équivalent) dans le cadre
• cliquer ok

Envoyer un courrier au formateur pour lui indiquer que tout est ok pour vous, ou lui signaler vos problèmes