Ask Your Question
3

terminate notebook and session, The right way?

asked 2011-02-05 10:51:11 -0500

dartdog gravatar image

updated 2011-05-12 09:25:35 -0500

Kelvin Li gravatar image

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.

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted
2

answered 2011-02-05 14:27:07 -0500

kcrisman gravatar image

As it turns out, you could even terminate the terminal session via Ctrl-C, make a change in the source code, compile it, and restart the notebook, and as long as you didn't do anything in your browser in the mean time you'd be able to immediately check whether the change were good in the notebook.

You are correct that Ctrl-D would only quite an active command line process. Ctrl-C will kill the notebook server, and then Ctrl-D kills Sage (if, for instance, you did some command line stuff before you did the notebook with the command notebook()).

I am a little surprised about no reference to the shut down. That should be somewhere.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2011-02-05 10:51:11 -0500

Seen: 575 times

Last updated: Feb 05 '11