Muchas gracias, me han funcionado los dos comandos.
Puntualizar (por si alguien le ocurre lo mismo) que al ejecutar esos comandos el terminal se vuelve inestable y no se ve nada, escribid exit y saldrá del terminal y os mostrará todo lo demás en color.
P.D.: tengo que aprender a usar el buscador. ¿hay algún tutorial?
