$ git config --global user.name "Votre Nom"
$ git config --global user.email "[email protected]"
$ pip3 install --user -r requirements.txt
- Outils AVR
-
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 du groue spécifié parGroup number
dans le répertoire spécifié parGrading directory
. -
Optionnellement, il est possible de fournir son nom d'utilisateur et mot de passe de Git afin de cloner les repos.
-
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. -
Grading directory
correspond au dossier de correction où les répertoires du groupe ont été clonés (voir section clone). -
Subdirectories
sont la liste des dossiers où le code aurait dû être déposé pour la correction. -
Assigment type
correspond au type de correction.Code
pour la correction du code etReport
pour la correction d'un rapport. -
Deadline
correspond à la date de re mise de l'évaluation. -
Assignment short name
correspond à tpx ou à projet etAssignment long name
correspond à la description de l'évaluation.
-
assemble
calcule le total des points pour chaque équipe et générera un fichier de notesnotes-inf1900-sectionXX-nom_travail.csv
à partir des notes entrées par le correcteur. -
Grading directory
correspond au dossier de correction où les répertoires du groupe ont été clonés (voir section clone). -
Assignment short name
correspond àtpx
ou àprojet
(voir section grade).
-
push
pushera un commit sur le master de chaque repo des équipes de la section à corriger. -
Grading directory
correspond au dossier de correction où les répertoires du groupe ont été clonés (voir section clone). -
Assignment short name
correspond àtpx
ou àprojet
(voir section grade).
-
mail
enverra un email à Jérôme et joindra le fichier de notescsv
(voir section assemble). -
Grading directory
correspond au dossier de correction où les répertoires du groupe ont été clonés (voir section clone). -
Subject
le sujet du email. -
Sender email
est votre adresse email. -
Recipient email
est le responsable du cours. -
Username
est le nom d'utilisateur polytechnique lié au email d'envoi. -
Password
est le mot de passe polytechnique lié au email d'envoi. -
Message
correspond au message du email.
- Intégration à
clang-format
etclang-tidy
. - Simuler les programmes des étudiants à l'aide de
simavr
.