-
Committer:
Benoît Pierre
-
Date:
2009-09-21 19:31:17 UTC
-
mto:
This revision was merged to the branch mainline in
revision
725.
-
Revision ID:
benoit.pierre@gmail.com-20090921193117-mkpxi9wx24htbm3d
shell improvement: handle KeyboardInterrupt like a regular shell
A KeyboardInterrupt will abort edition of the current command line and start a
fresh one, like most shells do. This also helps avoiding to kill the shell by
mistake when one's timing is off when trying to interrupt a command in
progress.