On Fri, Jun 29, 2012 at 1:21 AM, klo uo <klonuo@gmail.com> wrote: > > Ctrl+C, Ctrl+D, exit, quit, exit()... can't do it There's always Ctrl-\ (SIGABRT), which processes can't trap. It's the command-line equivalent of a `kill -6 $PID`. Cheers, f