Skip to content

Mettre à jour les fichiers génériques des tâches

Olivier Martin edited this page Sep 21, 2017 · 5 revisions

Mettre à jour les tâches.

La plupart des fichiers présents dans les différentes tâches sont automatiquement placés (copiés) dans les tâches par le script utilities/update_tasks.sh. Cela permet d'avoir un version unique ce certains fichiers en cas de modifications à effectuer puis de les répliquer automatiquement dans toutes les tâches. Il ne faut donc pas modifier les fichiers listés dans la section Fichiers concernés dans les tâches mais bien les modifier l'original. Attention tout de même à garder la compatibilité avec les tâches actuelles en cas de changement.

Fichiers concernés

Nous listons ici les fichiers placés automatiquement dans les tâches ainsi que leur originaux.

  • Runner.java
    • Original : utilities/Runner.java
    • Tâche : my_task/src/Runner.java
  • Run script
    • Original : utilities/run.py
    • Tâche : my_task/run
  • Translator.java
    • Original : utilities/Translations/Translator.java
    • Tâche : my_task/student/Translations/Translator.java
  • FunctionHelper.java (uniquement pour les Missions 3, 4 et 5).
    • Original : utilities/FunctionHelper.java
    • Tâche : my_task/src/librairies/FunctionHelper.java

Tâches concernées

Le script met à jour les tâches qui sont listées dans utilities/update_tasks.sh. Cela permet de choisir quelle tâche doit recevoir les changements.

Exécuter le script

Le script utilities/update_tasks.sh doit être exécuté depuis la racine du git. La commande à faire est donc : ./utilities/update_tasks.sh. Faites un git status pour savoir quels fichiers ont été modifiés et/ou crées.