Auf dieser Seite erfahren Sie, wie Sie ein Docker Image für Ihr Profil erstellen.

Ä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 mit whoami (wird in neuem Tab geöffnet) aus der Liste der Services.

Sie müssen in der Gruppe manager-{profile_slug} sein.

Schritt 2
Navigieren Sie zum Profil (wird in neuem Tab geöffnet) Service aus der Liste der Services.

Schritt 3
Wählen Sie Ihr Profil aus der Dropdown-Liste aus.

Schritt 4
Klicken Sie auf TRIGGER BUILD OF NEW DOCKER IMAGE.