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 Repository 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