*** Wartungsfenster jeden ersten Mittwoch vormittag im Monat ***

add a jupyterhub image with the grader labextension installed

Dusch, Matthias requested to merge grader into dev

status as of April 8th:

  • the Dockerfile based on the jupyter/base-notebook with the added grader labextension does build for me locally
  • the grader repository is linked here as a submodule which is (I think) fixed to a certain commit. If the grader repository is changed this link needs to be updated
  • till now I start the jupyterhub with a custom configuration file, which has the settings for the grader-service and also courses in them. I do not understand how to add a configuration file to a base image which is then started by the jupyterhub
  • I added the build stage to the gitlab-ci but apparently there are no available DIND runners
  • hate is a strong word but I hate git sometimes: I do not understand why the entire history is part of this branch/merge-request. Sorry for the mess...
Edited by Dusch, Matthias

Merge request reports