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 personnelles l'ensemble du cours, il vous faut `cloner` le projet. Pour cela, ouvrez un terminal et déplacer vous dans le répertoire qui servira de répertoire racine où mettre vos cours. Cela peut être par exemple votre répertoire `home` :
```bash
cd ~
```
Vous pouvez vérifier que vous êtes dans le bon répertoire en faisant la commande
```bash
pwd
```
Ensuite, il faut cloner le cours. Supposons que l'on veuille récupérer le cours de [Mesure et Intégration](https://gitlab.irit.fr/toc/etu-n7/integration). 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
Vous avez alors cloné le cours. Le clonage permet de télécharger le cours (vous pouvez aussi télécharger en cliquant sur le bouton à côté du bouton `Clone`) et 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 :
