Eliminare voci dal menu Grub

Quando si aggiorna il kernel, quello vecchio non viene eliminato: potrebbe infatti succedere qualcosa di storto e Ubuntu potrebbe non avviarsi più. In questo caso si può farlo partire col vecchio kernel.
Se l’operazione di aggiornamento va a buon fine, nel menu di Grub noteremo più voci del solito. A questo punto possiamo eliminare il vecchio kernel ed eliminare la voce non più utilizzata.

Per far questo diamo questo comando:

sudo apt-get remove linux-image-`versione-del-kernel-da-eliminare`

Al riavvio noteremo che in Grub le voci col kernel vecchio sono state eliminate.

Cambiare il puntatore del mouse

Dopo aver scaricato da gnome-look.org (ad es.) il tema:

  1. decomprimerlo
  2. spostare la directory creata nella cartella home-utente/.icons
    (il punto prima dei nomi delle cartelle sta ad indicare cartelle nascoste; per vedere cartelle e file nascosti dare ctrl+h all’interno della cartella)
  3. da Sistema > Preferenze > Mouse si può scegliere il nuovo tema.