You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Momenteel moet het script dat bij testen uitgevoerd wordt een bash script zijn. Dit is fine maar als de prof andere files wilt callen vanuit dat script moet hij een custom docker image hiervoor maken. Daarom willen we toelaten dat een prof extra bestanden kan uploaden. Deze worden dan bij het uitvoeren van het dockerscript naar shared/extra gekopiëert en zo kan de prof deze gebruiken.
Uploaden extra files
De extra files moeten als een zip geupload kunnen worden. Deze moeten opgeslagen worden in data/projects/{projectid}/testfiles.zip, vanaf hier kunnen ze dan gekopiëert worden
Runnen van de docker
Voor het dockerscript uitgevoerd worden moeten deze files gekopiëert worden
Kopiëren van testen
Wanneer een vak gekopiëert wordt, worden de testen ook meegekopiëert. Deze extra bestanden moeten dus ook meegekopiëert worden
The text was updated successfully, but these errors were encountered:
Probleem
Momenteel moet het script dat bij testen uitgevoerd wordt een bash script zijn. Dit is fine maar als de prof andere files wilt callen vanuit dat script moet hij een custom docker image hiervoor maken. Daarom willen we toelaten dat een prof extra bestanden kan uploaden. Deze worden dan bij het uitvoeren van het dockerscript naar
shared/extra
gekopiëert en zo kan de prof deze gebruiken.Uploaden extra files
De extra files moeten als een zip geupload kunnen worden. Deze moeten opgeslagen worden in
data/projects/{projectid}/testfiles.zip
, vanaf hier kunnen ze dan gekopiëert wordenRunnen van de docker
Voor het dockerscript uitgevoerd worden moeten deze files gekopiëert worden
Kopiëren van testen
Wanneer een vak gekopiëert wordt, worden de testen ook meegekopiëert. Deze extra bestanden moeten dus ook meegekopiëert worden
The text was updated successfully, but these errors were encountered: