On 1/29/19 3:20 AM, address@hidden wrote:
However, if Bash already has a facility for reverting all history undo
lists, then it would seem to be easy to simply trigger this by default
before showing a new prompt, thereby restoring all history lines to
their original states.
Since it's the SIGINT that defeats the reverting behavior, we'd have to
see whether that would satisfy John's requirements. It would not work
for an application that, for instance, saved the history before exiting
on SIGINT unless it were incorporated into readline's signal processing.