When I start up the notebook interface, the terminal session then is dedicated to the server and sage instance, and does not take input, so far the only way to terminate it is via ctl-c or otherwise close the terminal. I assume if I do this after exiting my browser/notebook session that that is the correct way?
The ctl-d quit and exit commands specified for the terminal mode do not seem to work if you use the notebook?
Checked the docs and could not find a reference to shutting down the notebook, and session.
