> Il file in questione e` /etc/default/grub > Nel caso in esame, bastera` verosimilmente modificare la quarta riga, > da: > > GRUB_DEFAULT=0 > > a: > > GRUB_DEFAULT=2 > > Infine, un banale update-grub per registrare le modifiche! :-) > Infatti ho fatto così !!! Walter