diff --git a/content/files/files.md b/content/files/files.md index b05f261..9fd5d2f 100644 --- a/content/files/files.md +++ b/content/files/files.md @@ -125,6 +125,25 @@ hidden = true L'archive du site rnicrosoft.io ne sera dévoilée que sur la version archivée du site ou pendant la compétition par une intervention manuelle de l'équipe serveur, si jamais il y avait un soucis de connectivité. +## Récupérer un fichier depuis une autre source que le dépôt + +Dans certaines conditions, il peut être pratique de stocker un fichier en ligne, de récupérer un fichier en ligne, plutôt que de l'inclure dans le dépôt du projet (notamment pour les gros dump mémoire/disque). + +{{% notice warning %}} + +Cette méthode n'est pas recommandée car elle ne permet pas d'avoir un historique complet. De plus, le fichier en ligne peut se trouver modifier sans que le dépôt soit mis à jour (le `DIGESTS.txt` doit être changé en parallèle), ce qui peut conduire un exercice à ne plus être importable à un moment, alors qu'il l'était avant. Néanmoins pour les gros fichiers, afin de rester dans les quotas imposés sur GitLab, c'est une alternative intéressante. + +{{% /notice %}} + +``` toml +[[file]] +filename = 'my_memory.dump' +url = 'https://drive.srs.epita.fr/aBcDeF0123456/' +``` + +Il est également nécessaire d'ajouter une entrée dans le fichier `DIGESTS.txt`, de la même manière que pour un fichier du dépôt. + + ## D'autres attributs ? Les fichiers peuvent posséder des attributs spécifiques dans [le `challenge.txt`]({{< relref "challenge.md" >}}#les-fichiers).