Änderungen am Repository, welche die Laufzeitumgebung betreffen (installierter Jupyter-Kernel, Conda's environment.yml, Pip's requirements.txt), erfordern einen Rebuild des Docker-Images, das 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 müssen 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 BUILD OF NEW DOCKER IMAGE".