Ciao, ho dovuto modificare /etc/grub/grub.cfg per cambiare le label a video dei vari sistemi operativi (ho cambiato solo la dicitura e nient'altro), come devo fare per fare recepire a grub il cambiamento? update-grub o altro? Titti