Actions

Cours

Différences entre versions de « Cours:Méthodologie (R&D) »

De GBLL, TAL, ALAO, etc.

Ligne 1 : Ligne 1 :
[[Catégorie:Enseignement/ML]]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 :
+
== 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 :
 
* installer Git :
 
* notion de dépôt ;
 
* notion de dépôt ;
 
* flux de travail de base (add/commit) ;
 
* flux de travail de base (add/commit) ;
 
* branches et dépôts distants.
 
* branches et dépôts distants.
== Installation du logiciel ==
+
=== Installation du logiciel ===
 
* Linux :
 
* Linux :
 
** Debian et dérivés: {{code|apt-get install git}} ;
 
** Debian et dérivés: {{code|apt-get install git}} ;
Ligne 10 : Ligne 11 :
 
* Mac/Windows : https://git-scm.com/downloads.
 
* Mac/Windows : https://git-scm.com/downloads.
  
== [[Wfr:Forge_(informatique)|forge]]s utilisables pour le cours ==
+
=== [[Wfr:Forge_(informatique)|forge]]s utilisables pour le cours ===
 
Github est incontestablement la solution la plus connue, mais n'est pas la seule solution viable.
 
Github est incontestablement la solution la plus connue, mais n'est pas la seule solution viable.
 
# Forges utilisant le logiciel [[Wfr:GitLab CE|GitLab]], installable sur votre propre serveur :
 
# Forges utilisant le logiciel [[Wfr:GitLab CE|GitLab]], installable sur votre propre serveur :
Ligne 21 : Ligne 22 :
 
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.
 
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) ==
+
=== Utilisation de git en ssh (avec clé ssh) ===
 
* sous git-bash (windows) / dans le terminal utiliser la commande {{code|ssh-keygen|bash}} pour générer la clé  
 
* sous git-bash (windows) / dans le terminal utiliser la commande {{code|ssh-keygen|bash}} 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'''<ref>Laisser le premier champ vide lors de l'appel de {{code|ssh-keygen|bash}} pour s'affranchir de cette étape et choisir l'emplacement par défaut.</ref>, au lancement de git :
 
* Après pour utiliser git en ssh, '''quand on choisit un autre emplacement pour la clé que l'emplacement par défaut'''<ref>Laisser le premier champ vide lors de l'appel de {{code|ssh-keygen|bash}} pour s'affranchir de cette étape et choisir l'emplacement par défaut.</ref>, au lancement de git :
Ligne 27 : Ligne 28 :
 
** {{code|ssh-add /c/users/nomutilisateur/.ssh/cle_ou_autre_chemin_absolu_vers_la_cle|bash}} (tous OS<br />sauf que le chemin sera plutôt de la forme {{code|/home/nomutilisateur/.ssh/cle_ou_autre_chemin_absolu_vers_la_cle|bash}} pour les systèmes unix).
 
** {{code|ssh-add /c/users/nomutilisateur/.ssh/cle_ou_autre_chemin_absolu_vers_la_cle|bash}} (tous OS<br />sauf que le chemin sera plutôt de la forme {{code|/home/nomutilisateur/.ssh/cle_ou_autre_chemin_absolu_vers_la_cle|bash}} pour les systèmes unix).
  
== Cycle d'usage de base de git ==
+
=== Cycle d'usage de base de git ===
 
<syntaxhighlight lang="bash">#récupération des dernières modifications depuis un éventuel dépôt distant
 
<syntaxhighlight lang="bash">#récupération des dernières modifications depuis un éventuel dépôt distant
 
git pull origin maBranche
 
git pull origin maBranche
Ligne 37 : Ligne 38 :
 
git push origin maBranche</syntaxHighlight>
 
git push origin maBranche</syntaxHighlight>
  
== Ressources ==
+
=== Ressources ===
 
*[[:File:775-Git-énoncé.pdf|TD]] ;
 
*[[:File:775-Git-énoncé.pdf|TD]] ;
 
*[[:File:775-IdL-git-TD corrigé.pdf|TD corrigé]] ;
 
*[[:File:775-IdL-git-TD corrigé.pdf|TD corrigé]] ;
 
*[[:File:775-IdL-git.pdf|diaporama]].
 
*[[:File:775-IdL-git.pdf|diaporama]].
  
 +
== Méthodologie du mémoire ==
 +
=== Ressources ===
 +
* L'[[:File:775-exo méthodo(Magnat).pdf|exercice d'écriture]] d'[https://www.researchgate.net/profile/Emilie_Magnat Émilie Magnat] ;
 +
* [[:File:méthodo mémoire.pdf|le support de cours]].
 +
=== Ressources externes ===
 +
{{TODO|logiciels biblio, feuilles de style, etc.}}
 
== Notes et références ==
 
== Notes et références ==
 
<references />
 
<references />
 +
[[Catégorie:Enseignement/ML]]

Version du 18 décembre 2018 à 14:27

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.

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

Méthodologie du mémoire

Ressources

Ressources externes

logiciels biblio, feuilles de style, etc.!

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.