augustindelecluse

Add unique information to user for a course

5

Currently, there is no apparent way to store one short piece of information (URL, random seed, ...) for each student within a course. Allowing this would provide a better user-experience...

**Is your feature request related to a problem? Please describe.** In some courses, we create repositories associated to students, the name of the repository being the inginious username of the...

[agent_docker] Read-only directory within tasks

4

**Is your feature request related to a problem? Please describe.** For several courses, we give instances to students and expect them to give a result related to it (e.g. given...