$ 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).
-
clonerécupérera les informations des élèves (nom, prénom, équipe, groupe) depuis le site du cours et clonera le repo de chaque équipe. -
gradevé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. -
assemblefera 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.