It is an nvidia signal processing issue which has been solved in a (yet
unreleased) driver, see
https://devtalk.nvidia.com/default/topic/659230/linux/331-20-on-x86_64
-breaks-signal-processing-/
(and https://devtalk.nvidia.com/default/topic/638521/linux/gnome-
terminal-problems-ctrl-c-and-exit/
For all of those who now commented with yes, nvidia here! and similar:
it would probably be more helpful both for you and others if you
actually did downgrade to the version I mentioned and see if the problem
persists.
If not: you got rid of the problem, people know what the cause is and
they
