Am I the only one who didn't know that you could use ^\ (i.e. control backslash) to kill a process when ^c doesn't work? Usually, I have to use ^z to background the process, and then type kill -9 %1. I think ^\ makes the process dump core, but since dumping core seems to be turned off by default, it works out well. Here's an example of my killing a process under fish (my shell):
fish: Job 1, “nosetests” terminated by signal SIGQUIT (Quit request from job control with core dump (^\))Thanks to Jeff Lindsay for the tip.