Thanks for the PR, @sam-s. Note sure if you are aware, but there is an ein:stop command which is aliased to ein:jupyter-server-stop and ein:jupyter-server-stop already has a call to ein:notebook-close-notebooks embedded into it.
That said I don't see any harm in adding another alias ein:quit.
Finally, are you seeing issues with notebooks not being closed when calling ein:jupyter-server-stop?
Thanks for the PR, @sam-s. Note sure if you are aware, but there is an
ein:stop
command which is aliased toein:jupyter-server-stop
andein:jupyter-server-stop
already has a call toein:notebook-close-notebooks
embedded into it.That said I don't see any harm in adding another alias
ein:quit
.Finally, are you seeing issues with notebooks not being closed when calling
ein:jupyter-server-stop
?