On Wed, 2 Sep 2015 19:16:49 +0200 Axel Beckert wrote: > Not really. Because I do expect that a program does not do anything > further except maybe saving any unsafed data upon receiving a single > Ctrl-C or SIGINT. I consider everything else to be counter-intuitive.
I think for ease of implementation, what I will do is catch KeyboardInterrupt exceptions as usual but if the skipping on Ctrl+C is disabled, then just re-raise the exception again. Then there would be an option to disable the skipping which you could add to a shell alias, any thoughts the command-line parameter name I should use for this? -- bye, pabs https://wiki.debian.org/PaulWise
signature.asc
Description: This is a digitally signed message part
