Update notebooks
On this page you will learn how to update your notebooks.
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 repository will be synchronized during each start of the profile with the local copy of the user in his RWTHjupyter home directory. We use nbgitpuller (opens in new tab) 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 (opens in new tab)
Step 2
Wait a minute, then reload the page.
Step 3
Start the server again by selecting a profile.
Force synchronization 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/ (opens in new tab).
Step 2
Open a terminal: File > New > Terminal
Step 3
Run the following command:
bash /scripts/start.sh 