fic
/
help
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Introduce remote file

This commit is contained in:
nemunaire 2023-10-13 23:39:17 +02:00
parent 7f6c62f5e9
commit b7c6eea2ad
1 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
content/files/files.md
View File

@ -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).