Actions

Cours

Cours:Méthodologie (R&D)

De GBLL, TAL, ALAO, etc.

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.

Utilisation de git en ssh (avec clé ssh)

  • sous git-bash (windows) / dans le terminal utiliser la commande ssh-keygen pour générer la clé
  • Après pour utiliser git en ssh, quand on choisit un autre emplacement pour la clé que l'emplacement par défaut[1], au lancement de git :
    • eval "ssh-agent -s" (windows) ;
    • 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).

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

Ressources

Notes et références

  1. Laisser le premier champ vide lors de l'appel de ssh-keygen pour s'affranchir de cette étape et choisir l'emplacement par défaut.