Falls Sie bei der Erstellung Ihres Profils eine URL für ein Git-Repository bereitgestellt haben sollten, können Sie dessen Inhalt jederzeit mit den normalen Git-Workflows updaten.

Die Inhalte des Repositories werden bei jedem Start des Profils mit der lokalen Kopie im Home-Ordner des Users synchronisiert. Für diese Synchronisierung verwenden wir nbgitpuller.

Bevor die Änderungen in Ihrer Jupyter-Instanz sichtbar werden, müssen User ihren Jupyter-Service vollständig neu starten:

• Neustart erzwingen
• Synchronisierung bei laufendem Server erzwingen

Neustart erzwingen 

Um einen Neustart zu erzwingen, folgen Sie dieser Anleitung:

Schritt 1

Stoppen sie ihren laufenden Server, indem Sie auf der JupyterHub Homepage auf „Server Stoppen“ klicken.

Schritt 2

Warten Sie ungefähr eine volle Minute, und laden dann die Seite neu.

Schritt 3

Starten Sie den Server erneut, indem Sie ein Profil auswählen.

Synchronisierung bei laufendem Server erzwingen 

Um eine Synchronisierung bei laufendem Server zu erzwingen, folgen Sie dieser Anleitung:

Schritt 1

Greifen Sie per https://jupyter.rwth-aachen.de/ auf ihren (laufenden) Server zu.

Schritt 2

Öffnen Sie ein Terminal (Datei -> Neu -> Terminal).

Schritt 3

Führen Sie die folgende Anweisung aus:

 bash /scripts/start.sh