Actions

Cours

Cours:Méthodologie (R&D)

De GBLL, TAL, ALAO, etc.

Génie logiciel et gestion de versions

L'objectif de cette formation est de proposer une introduction à la gestion de versions, notamment dans la perspective d'un travail de groupe. L'outil choisi est un outil open source : Git. On couvrira ici plusieurs objectif :

  • installer Git :
  • notion de dépôt ;
  • flux de travail de base (add/commit) ;
  • branches et dépôts distants.

Installation du logiciel

forges utilisables pour le cours

Github est incontestablement la solution la plus connue, mais n'est pas la seule solution viable.

  1. Forges utilisant le logiciel GitLab, installable sur votre propre serveur :
  2. Forges avec logiciels ad hoc :

Enfin, pour qui ne veut pas des fonctionnalités d'une forge (visibilité du projet, bugs, affichages), tout serveur muni d'un accès ssh peut jouer le rôle de dépôt distant.

Générer une clé RSA

Exemple d'interface d'ajout de clé publique pour l'utilisation de git en ssh avec gitlab

# sous git-bash (windows) / dans le terminal (Linux, Mac), utiliser la commande ssh-keygen ;

  1. choisissez l'emplacement par défaut (laisser le premier champ vide et appuyer sur entrée)[2] ;
  2. saisissez un mot de passe pour protéger votre clé privée.

Une fois ce couple clé publique/clé privé généré, vous pourrez-vous en servir pour vous connecter en ssh dans de nombreux contextes (dépôts git, serveurs). Pour cela, il suffira de fournir à l'administrateur système du serveur (éventuellement via une interface web[3]), votre clé publique (jamais la clé privée).

Cycle d'usage de base de git

#récupération des dernières modifications depuis un éventuel dépôt distant
git pull origin maBranche
#préparation de TOUS les fichiers modifiés pour le prochain commit
git add .
#commiter les changements
git commit -m "Explication de mes modifications"
#envoi des changements sur le dépôt distant
git push origin maBranche

Méthodologie du mémoire

Ressources

Ressources externes

Notes et références

  1. Ce cours a été adapté par Philippe Dessus dans le cadre du projet ReflexPro : http://espe-rtd-reflexpro.u-ga.fr/docs/projet-reflexpro/fr/latest/git.html
  2. Si vous avez déjà une clé et que vous voulez en créer une autre à utiliser avec git, il faudra alors spécifier un autre chemin. Quand vous utiliserez le ssh (si vous ne la mettez pas dans le dossier ~/.ssh), il faudra, au lancement de git taper :
    1. windows seulsement : eval "ssh-agent -s" (windows) ;
    2. ssh-add /c/users/nomutilisateur/.ssh/cle_ou_autre_chemin_absolu_vers_la_cle (tous OS
      sauf que le chemin sera plutôt de la forme /home/nomutilisateur/.ssh/cle_ou_autre_chemin_absolu_vers_la_cle pour les systèmes unix).
  3. Par exemple :