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` :
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` :
```bash
```bash
cd ~
cd ~
...
@@ -16,7 +16,7 @@ Ensuite, il faut cloner le cours. Supposons que l'on veuille récupérer le cour
...
@@ -16,7 +16,7 @@ Ensuite, il faut cloner le cours. Supposons que l'on veuille récupérer le cour
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 :
Vous avez alors cloné le cours. Le clonage permet de télécharger le cours (vous pouvez aussi le 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 :