In case you provided a URL to a Git repository while requesting your profile, you can update the contents of the repository at any time using standard 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.
Please note that users need to completely restart their Jupyter service before changes become available in their Jupyter instance. To force a restart, perform the following steps:
- Stop your current server by clicking on "Stop my server" on the JupyterHub home page.
- Wait a minute, then reload the page
- Start the server again by selecting a profile.
Alternatively, you can force a synchronization while the Jupyter server is running:
- Access your (running) Jupyter server at: https://jupyter.rwth-aachen.de/.
- Open a terminal: File -> New -> Terminal
- Run the following command:
All changes to the repository which affect the runtime environemnt (installed jupyter kernel, Conda's
requirements.txt ) require a rebuild of the underlying Docker image of your profile.
Such a rebuild needs to triggerd manually by the profile manager:
- Check if you have the manager role for your profile by visiting: https://jupyter.rwth-aachen.de/services/whoami/
- Ensure that you are member of a group named:
- Visit the following service to trigger a rebuild: https://jupyter.rwth-aachen.de/services/profile/
- Select your profile from the drop-down
- Press the button "Trigger new build of Docker image"