hai ragione da vendere ma infatti avevo specificato di modificare solo quello e non toccare altro, ma per farla più lunga allora si può fare un menu customizzato così:
copii (copiare si può senza danneggiare nulla) le righe di /boot/grub/grub.cfg che iniziano per menuentry e finiscono con parentesi graffa all'interno dello script /etc/grub.d/40_custom. A questo punto modifichi i nomi come dicevo prima ma nello script su cui hai copiato.
togli l'esecutabilità ad altri script con
sudo chmod -x /etc/grub.d/10_linux
/etc/grub.d/20_memtest86+ /etc/grub.d/30_os-prober
dai
sudo update-grub
e adesso dovrebbe andare
l'inconveniente è che all'aggiornamento di nuovi kernel questi non verranno aggionati in grub perché lo script 10_linux non è eseguibile. a quel punto dovresti dare
sudo +x /etc/grub.d/10_linux
e al limite rifare la procedura
La sai lunga.... avevo visto che hai 10 messaggi, e ho pensato fosse un consiglio niubbo-azzardato il tuo...
comunque consigliarlo ad altri è rischioso, se lo sai fare tu con le dovute precauzioni, non puoi però essere sicuro/a degli altri, soprattutto se nuovi arrivati
Ciao
