Add CourseDir.student_id_exclude option to exclude students #1179
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
Seems reasonable to me. If you wanted to add a test or two that would be great! |
rkdarst
force-pushed
the
exclude_student_id
branch
2 times, most recently
from
6029f4b
to
872067f
Compare
- This is the counterpart of the CourseDir.student_id option in that it rejects single students, defaulting to them all. Really, first student_id is applied, and then student_id_exclude ones are skipped. - This is useful if a single student is erroring and needs to be left out.
- autograde, generate_feedback, release_feedback only
|
Tests added (and found that release_feedback wasn't supported yet, fixed now). Tests are added for autograde, generate_feedback, release_feedback. Anything that goes through the converter system (but perhaps not the exchange system) should work, though, but I think these are the three main ones. |
|
Thanks a lot! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This adds a
--CourseDirectory.student_id_excludewhich can exclude the given students from autograding and other tasks, as in #1157. This is useful if there is a bug which causes autograding to halt if there is a problem with one particular student.There are no tests yet and I haven't used much. I'm not sure if I found the right place to add this. If it is, then let me know and I'll see about adding the tests and documentation.
it rejects single students, defaulting to them all. Really, first
student_id is applied, and then student_id_exclude ones are skipped.
out.