Como mudar o grub de 15.04 para 14.04 em um sistema que instalou ambos [duplicados]

0

Eu instalei o ubuntu 15.04 e 14.04. Primeiro eu tinha instalado 14.04 depois que eu instalei o 15.04 e o menu de inicialização do grub mudou para 15.04. Agora eu quero reverter isso, isso significa que eu quero mudar o grub que aparece na inicialização para o grub de 14.04. Como fazer isso?

    
por Ashish Pal 02.02.2017 / 08:24

1 resposta

0

Se você procurar em /etc/default/grub , você tem uma variável GRUB_DEFAULT :

↳ grep GRUB_DEFAULT /etc/default/grub 
GRUB_DEFAULT=0

Esta é a entrada do menu que será usada por padrão. Para ver quais entradas de menu você tem, dê uma olhada em /boot/grub/grub.cfg ( nl -v 0 é usado para adicionar os números de linha):

↳ egrep "^menuentry |^submenu " /boot/grub/grub.cfg | nl -v 0                                                                                                                                                                                                                                                                
 0  menuentry 'Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-bf88b0d6-7f16-4314-87f5-ce3e84a6a396' {
 1  submenu 'Advanced options for Ubuntu' $menuentry_id_option 'gnulinux-advanced-bf88b0d6-7f16-4314-87f5-ce3e84a6a396' {
 2  menuentry 'System setup' $menuentry_id_option 'uefi-firmware' {

Ter GRUB_DEFAULT=0 significa inicializar o primeiro menuentry . Portanto, se você quiser inicializar por System setup por padrão (como um exemplo bobo), defina GRUB_DEFAULT=2 e execute sudo update-grub .

No caso de você querer inicializar algo no submenu por padrão, você teria que usar o submenu index, > e o índice do menuentry no submenu. Por exemplo, a quarta entrada em submenu e, em seguida, GRUB_DEFAULT devem ser definidas como "1>3"

Também é possível definir GRUB_DEFAULT para o rótulo de nome de um menuentry (primeiro parâmetro), portanto GRUB_DEFAULT='System setup' também seria uma configuração válida.

Sempre que alterar /etc/default/grub , não se esqueça de executar sudo update-grub .

Mais informações em link .

    
por mgor 02.02.2017 / 08:44