$ git config --global credential.helper store
$ git config --global user.name "Votre Nom"
$ git config --global user.email votre@email.com
$ pip install --user -r requirements.txt
- Outils AVR
- Lancez le script
./grader
. - Suivez les étapes linéairement (
clone
->grade
->assemble
).
-
clone
récupérera les informations des élèves (nom, prénom, équipe, groupe) depuis le site du cours et clonera le repo de chaque équipe. -
grade
vérifiera les fichiers inutiles, compilera le code des élèves et écrira un fichier de notes dans chaque repo. Il faut attribuer les notes manuellement, mais la majorité du travail répétitif est déjà automatisée. -
assemble
fera un commit et merge sur chaque repo, puis générera un fichier de notesgrades.csv
.
- Certaines informations sont redemandées entre plusieurs étapes afin de pouvoir corriger plusieurs travaux simultanément.
- Utiliser clang-format et clang-tidy pour plus d'automatisations.
- Envoi du fichier de notes par email à Jérôme.