[nost68]

Bueno, pues parece que he podido resolver el problema, al menos de momento. Se me ha ocurrido apagar y encender el terminal y todo resuelto. Aún así me gustaría saber si este tipo de "cuelgues" son algo habitual. Un saludo.