Änderungen am Repository, welche die Laufzeitumgebung betreffen (installierter jupyter kernel, Conda's environment.yml, Pip's requirements.txt), erfordern ein Rebuild des Docker Images, dass die Grundlage ihres Profils bildet.

Um den Rebuild als Profilmanager manuell anzustoßen, befolgen Sie folgende Schritte:

Schritt 1

Überprüfen sie, ob sie die Manager-Rolle für ihr Profil haben (https://jupyter.rwth-aachen.de/services/whoami/)

Sie sollten in der Gruppe manager-{profile_slug} sein.

Schritt 2

Navigieren sie zu https://jupyter.rwth-aachen.de/services/profile/

Schritt 3

Wählen sie ihr Profil aus der Dropdown-Liste aus

Schritt 4

Klicken sie auf "Trigger new build of Docker image"