Certains cours de l'N7 sont déposés sur la plateforme gitlab.irit.fr et se retrouve donc comme projet Gitlab. Pour récupérer sur vos machines ou comptes personnels l'ensemble du cours, il vous faut cloner le projet. Pour cela, ouvrez un terminal et déplacez vous dans le répertoire qui servira de répertoire racine où mettre vos cours. Cela peut être par exemple votre répertoire home :
cd ~Vous pouvez vérifier que vous êtes dans le bon répertoire en faisant la commande
pwdEnsuite, il faut cloner le cours.
Supposons que l'on veuille récupérer le cours de Mesure et Intégration. On se rend sur la page du cours et on copie le lien HTTPS que l'on trouve en cliquant sur le bouton bleu Clone.
Une fois le lien copié (ici le lien est https://gitlab.irit.fr/toc/etu-n7/integration), on fait la commande
git clone https://gitlab.irit.fr/toc/etu-n7/integration.gitVous avez alors cloné le cours. Vous pouvez aussi le télécharger en cliquant sur le bouton à côté du bouton Clone.
Cependant, le clonage permet de télécharger le cours mais aussi de le mettre à jour à tout moment. Supposons que le professeur ait fait une modification dans le cours et qu'il vous ait notifié de cette modification. Pour mettre à jour votre répertoire cloné, ici ~/integration, faites les commandes :
cd ~/integration
git pull