On dev install: [Errno 13] Permission denied: '/usr/share/jupyter'

Following the README's instructions closely, I

• installed Jupyter (python3 -m pip install jupyter)
• made sure the jupyter command is available (jupyter notebook)
• run make install resp. ./gradlew installKernelSpecs

and got the following error:

 Task :installKernelSpec FAILED
[Errno 13] Permission denied: '/usr/share/jupyter'
Perhaps you want to install with `sudo` or `--user`?

FAILURE: Build failed with an exception.

* What went wrong:
Execution failed for task ':installKernelSpec'.
> Process 'command 'jupyter'' finished with non-zero exit value 1

Turns out internally the command jupyter kernelspec install --sys-prefix --name=prob2 /path/to/repo/prob2-jupyter-kernel/build/kernelspec is called. I could finish the installation by substituting --sys-prefix with --user and execute the command in terminal myself, but I figure eventually the instructions/the install should cover this.

Kind regards

Jannik