Acabo de probarlo. Lo hice sin acceder a la terminal con Ctrl+Alt+F1 porque si accedo así no puedo comprobar si aparece el cursor hasta no salir con Ctrl+Alt+F7. Y una vez hubiera salido no podría saber si el cursor apareció por el código o por haber cambiado el escritorio con la terminal.
Entonces abrí una terminal en una ventana manteniendo el escritorio a la vista. En esa ventana introduje el código sin dar a "Entrar", ya que una vez que no tuviera el puntero no podría acceder a la ventana.
Entonces cerré la tapa para forzar el error.
Al volver de la suspensión el puntero, como era esperable, había desaparecido. Entonces le dí a "Entrar" para ejecutar el código.
Una
captura aquí para ilustrar lo que digo.
Tras ejecutar el código, el puntero no apareció
![Blue_Colorz_PDT_32 :verysad:](https://www.daboweb.com/foros/Smileys/Blue_Colorz_03_PDT/Blue_Colorz_PDT_32.gif)
. Así que salí con Exit de la terminal y una vez más recuperé el puntero con Ctrl+Alt+F1 y luego F7
Agrego. Hoy me apareció una nueva actualización del Kernel que hasta ayer no aparecía. Así que actualicé. Pero eso tampoco solucionó el problema.