Aqui, eu fazia exatamente como o colega, só que entrava no terminal pelo menu gráfico - bem mais trabalhoso do que o CTRL + ALT + F2, só que tem que saber como voltar...:-).. Se o colega não sabe, é CTRL + ALT + F7.
(No menu gráfico, é só fechar a janelinha...:-)..
E, uma vez no terminal, também faço isso:
- boto o comando TOP, após logar como super usuário;
- vejo qual é o número do processo que quero "matar";
- e uso o comando "kill" e o respectivo número, sem o -9!
Tudo simples e funcional!