Een nieuwe repository met oefeningen maken
Dodona gebruikt git repositories om oefeningen en ander lesmateriaal te beheren. Een repository kan meerdere oefeningen bevatten en moet aan een bepaalde structuur voldoen om gelezen te kunnen worden door Dodona.
1. Een Git repository aanmaken
Een eerste stap is om een git repository aan te maken. Je kan dit eenvoudig doen op github.com. Daarnaast ondersteunen we ook Gitlab. Eenmaal aangemaakt kan je je repository toevoegen aan Dodona.
2. Je repository aan Dodona toevoegen
Als je lesgeversrechten op Dodona hebt, dan verschijnt in de linker navigatiebalk een link Repositories die je naar een overzicht van jouw repositories op Dodona brengt. Om een nieuwe repository toe te voegen, klik je op de grote plus-knop bovenaan de pagina.
In het formulier om de repository toe te voegen kies je een unieke naam voor je repository binnen Dodona. Geef vervolgens de "clone URL" in die je kan vinden op de GitHub pagina van je repository. Zorg ervoor dat je de SSH link van GitHub kopieert en niet de HTTPS variant. Kies tot slot de standaard judge die je wil gebruiken voor oefeningen in deze repository.
Voordat je op de toevoeg-knop klikt, moet je er eerst voor zorgen dat de Dodona server zowel lees- als schrijfrechten heeft op je repository met oefeningen. We hebben deze schrijftoegang nodig om eenvoudig de oefeningen kunnen bewerken via de webinterface.
Op github.com is de eenvoudigste manier om de gebruiker dodona-server aan je repository toe te voegen. Van zodra wij deze uitnodiging accepteren, kan je van start gaan. Op github.ugent.be voeg je op dezelfde wijze de gebruiker SA-GitHubDodona toe. Op gitlab.com kan je dodona-server toevoegen. Als je je repository op een eigen GitLab server host, dan zal je zelf een nieuwe gebruiker voor Dodona moeten aanmaken. Je kan onze publieke ssh sleutel hiervoor gebruiken.
Je kan op de Dodona website het toevoegen van de repository nu finaliseren.
3. De webhook instellen
Om je oefeningen up-to-date te houden, moet Dodona weten wanneer je wijzigingen aanbrengt. We doen dit met behulp van een webhook. Dit is een unieke URL die er voor zorgt dat Dodona je repository opnieuw zal verwerken. Deze URL zou zichtbaar moeten zijn nadat je je repository aan Dodona hebt toegevoegd.
Deze URL moet je vervolgens toevoegen aan GitHub. Dit doe je door op GitHub naar de instellingen van je repository te gaan en vervolgens op Webhooks te klikken in de navigatiebalk. Klik vervolgens op de Add webhook-knop en geef de URL in die je van Dodona gekregen hebt. Gebruik voor de rest de standaardinstellingen en klik op Add webhook.
4. Lesmateriaal aanmaken
Je bent nu helemaal klaar om oefeningen en lesmateriaal toe te voegen aan je repository. Als alles goed gaat, dan zouden ze automatisch moeten verschijnen op Dodona.
Voor meer informatie over het maken van oefeningen in je repository, bekijk de repository directory structure referentie. Het specifieke formaat van de tests voor je oefeningen hangt af van je gekozen judge. Je vindt een overzicht van alle ondersteunde judges, met links naar hun documentatie, op de judge overview.