takluyver/bash_kernel — pull request #6 by blink1073 (2014-08-03 01:39:52+00:00)
Title: Add do_shutdown and simple do_history

Bash is already shut down at exit, but this adds a `do_shutdown` for a restart.

`do_history` checks for the standard `~/.bash_history` file, and uses it if available. In my tests `do_history` was only called at startup.