search

fmidue / codeworld

Educational computer programming environment using Haskell
https://autotool.fmi.uni-due.de/codeworld
Apache License 2.0
0 stars 1 forks source link

Deployment zeigt nur Keter Fehlermeldung an #25

Open nimec01 opened 4 days ago

nimec01 commented 4 days ago

https://autotool.fmi.uni-due.de/codeworld zeigt aktuell nur einen Fehler an.

Ich gehe man davon aus, dass in letzter Zeit etwas an der Keter-Config geändert wurde, was nun zu diesem Fehler führt.

@marcellussiegburg

marcellussiegburg commented 3 days ago

Ich glaube, ich habe den Build mit der falschen Keter-Config durchgeführt. Problematisch ist wohl insbesondere, dass dieser Teil hier: https://github.com/fmidue/codeworld/blob/78be7ef416ef49211cba08e4701145d107287f1f/build-docker.sh#L27-L44 Bestandteil des docker-build.sh ist, d.h. letztlich erfordert, dass docker-build.sh erneut aufgerufen werden muss, wenn sich nur die Config ändert. Letztlich sollte das wohl eher Bestandteil des publish.sh sein. (Dafür sind wohl noch weitere Anpassungen nötig, hauptsächlich, dass ein Aufruf von zweimal publish.sh hintereinander noch immer funktioniert.)

Temporär bin ich auf eine ältere Version gewechselt, um das Problem momentan zu beheben [weil scheinbar nicht richtig gecached wurde, und noch einmal kompiliert werden muss; dauert mindestens einen halben Arbeitstag]