Le 20/04/2022 à 14:44, Brian G a écrit : > Should I post a bug, or is this a feature? > It's a bug, but I have no idea how and why it occurs. There is no special treatment of SIGINT in the interpreter, so I would guess it's something picky done by Linux I'm not aware of. Regards, -- Benoît Minisini