-
Committer:
Benoît Pierre
-
Date:
2008-11-19 23:36:27 UTC
-
Revision ID:
benoit.pierre@gmail.com-20081119233627-m2bxo5xgzn2mj2qx
Allows killing the current command line and start with a new one with ^C
like most shells do (which also helps avoiding to kill the shell by
mistake when one's timing is off when trying to interrupt a command in
progress).