L'objectif de ces séances de travaux pratiques est d'apprendre à manipuler git en créant et en alimentant un dépôt permettant la mutualisation de vos prises de notes de cours de master.
Tout au long de ce TP, vous pourrez utiliser la documentation en ligne de github pour trouver les commandes et informations nécessaires à la réalisation de cet exercice.
Vous pouvez aussi trouver un aide-mémoire pour les commandes les plus courantes.
Prérequis: chaque étudiant s'est créé un compte sur github.com
Ce TP se réalise en groupes de 3 à 4 étudiants. On souhaite que les groupes ne soient pas constitués d'étudiants issus uniquement du même parcours.
Chaque groupe réalise les étapes suivantes, en utilisant le compte d'un seul membre du groupe.
- se connecter au site github.com et s'identifier (sign in)
- créer un nouveau dépôt, en prenant soin:
- de le nommer de manière explicite
- de créer un
README.md - de choisir la licence GPLv3 ou BSD (au choix)
- de choisir une visibilité privée
- ajouter les comptes des autres membres du groupe à ce dépôt
- chacun des autres membres valide cet ajout en se connectant à son compte depuis son poste de la salle de TP
Chaque utilisateur ouvre un terminal, puis utilise les commandes proposées par la documentation de github pour configurer son nom et son adresse électronique sur son poste (voir la partie Configuration des outils de l'aide-mémoire)
On utilise le protocole ssh pour communiquer de façon sécurisée avec le site de github. La documentation en ligne est très détaillée sur la question.
ssh permet notamment que l'authentification se fasse grâce à deux clefs, la version locale privée, la version du serveur publique.
Suivez la documentation de github pour générer ces deux clés, puis ajoutez la clé publique à votre compte personnel github.
Note: vous pouvez choisir de garder votre paire de clé (privée/publique) sur un support personnel (par exemple une clé usb) pour un usage futur, ou créer une paire de clé par poste utilisé (ordinateur personnel par exemple). Sous GNU/Linux, cette paire de clé est stockée dans le répertoire .ssh de votre répertoire personnel.
Créer un dossier dans votre répertoire personnel, qui sera le dossier contenant tous les fichiers de cette série de TP.
Utiliser la commande clone de git pour cloner le dépôt créé précédemment.
Chaque membre du groupe:
- créé un fichier au format markdown dans le dossier de travail du dépôt, où il se présente, en décrivant son parcours et sa formation.
- ajoute ce fichier à la copie locale du dépôt (
git addpuisgit commit) - soumet cette modification au dépôt distant (
git push)
Pendant ou après chaque modification apportée au dépôt, vous pourriez avoir besoin de mettre à jour votre copie locale depuis le dépôt distant (git pull).
Chaque étudiant:
- choisi un module de sa formation différent du module de gestion de projets, et différent de celui de ses camarades
- créé un dossier correspondant dans la copie de travail du dépôt
- ajoute un fichier au format markdown, contenant le titre de ce module, et le nom des intervenants
- ajoute ce fichier au dépôt local, puis le soumettre au dépôt distant
- récupère les fichiers des autres membres du groupe