Skip> Just as raising SystemExit doesn't generate a traceback, perhaps
Skip> the default handling of KeyboardInterrupt could be configurable so
Skip> I could set
...
mal> Isn't this already possible using one of the display hooks in
mal> sys, e.g. sys.excepthook() ?!
Right you are. I wasn't even aware of its existence.
Skip