exit
--
You received this message because you are subscribed to the Google Groups "sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-support...@googlegroups.com.
To post to this group, send email to sage-s...@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
Finally had a chance to test this; yes it works -- although it is apparently possible to send the two kill commands too close together. Thank you very much. Have to say it's a bit of a kluge, though -- the design assumption that notebooks will always be started in shell windows that stay open is surely flawed.