Se o terminal estiver travado, entre na mesma máquina através de um outro terminal (inicie uma nova sessão) e então mate os processos anteriores. Para entrar na mesma máquina a partir de outra veja os comandos rlogin e telnet no manual do sistema. Em geral, para máquinas da rede do IME, basta digitar o nome da máquina para fazer uma conexão remota.
Lembre-se no entanto que o uso do kill é uma solução drástica. O melhor
é tentar achar a causa do problema e tentar saná-la antes de partir para
a força bruta. Um caso mais ou menos comum de terminal `travado'' é
quando se pressiona 
+
, na verdade esta combinação de teclas não
trava mas congela o terminal, e é útil quando se quer interromper a
saída de um programa (por exemplo, uma lista de arquivos de um
subdiretório tão grande que não caiba na tela). Para descongelar o
terminal usa-se a tecla 
+
.