Update Notebooks included in the profile
If you provided a URL for a Git repository when you created your profile, you can update its contents at any time using the normal Git workflows.
The contents of your repositry will be synchronized during each start of the profile with the local copy of the user in his RWTHjupyter home directory. We use nbgitpuller to perform this synchronization.
Users need to completely restart their Jupyter service before changes become available in their Jupyter instance:
Force a restart
To force a restart, follow these steps:
Step 1
Stop your current server by clicking on "Stop my server" on the JupyterHub home page
Step 2
Wait a minute, then reload the page.
Step 3
Start the server again by selecting a profile.
Force synchronisation while server is running
To force a synchronization while the Jupyter server is running, follow these steps:
Step 1
Access your (running) Jupyter server at: https://jupyter.rwth-aachen.de/.
Step 2
Open a terminal: File -> New -> Terminal
Step 3
Run the following command: bash /scripts/start.sh
