sudo update-grub2
deve ser suficiente para corrigir as entradas duplicadas.
Eu tenho "Ubuntu", assim como "Ubuntu 13.10" na lista de partições que podem ser inicializadas quando o Grub aparece. Como posso consertar isso? É assim que meu grub se parece:
Como posso me livrar das entradas duplicadas do Ubuntu na lista de inicialização do Grub?
EDIT: sudo update-grub2
não funcionou, mas mostra isso:
Found linux image: /boot/vmlinuz-3.11.0-12-generic
Found initrd image: /boot/initrd.img-3.11.0-12-generic
Found Ubuntu 13.10 (13.10) on /dev/mapper/isw_dcgidgaidc_Linux2
Found Windows 7 (loader) on /dev/mapper/isw_dcgidgaidc_Win7p1
sudo update-grub2
deve ser suficiente para corrigir as entradas duplicadas.