W10 Pro estaba instalado en laptop. En una partición libre instalé en UEFI el Debian 9 Stretch (KDE) y se ejecutó el instalador de modo transparente, sin preguntarme por el MBR ni el Windows (contrario a lo que ocurría en sabores anteriores) con el Grub como gestor de inicio.
Para arrancar W10 debo elegir ese SO del menú de inicio de Grub, sino a los 5'' corre por default el arranque de Debian.
No encontré documentación que me explique cómo editar ese Grub y que ponga a Windows como arranque por defecto. Salvo la línea DEFAULT=0 del archivo de parámetros de Grub pero no quise tocarla hasta estar seguro.
A cambio del menu del Grub debo abrir el setup del UEFI y dar prioridad al boot de Windows y así inicia éste por defecto, SALVO QUE deje seteado el Security Boot, porque allí aparece la incompatibilidad de Debian con esta llave (un warning en rojo que me dice que tiene la PK), cuya solución he leído que se ha postergado hasta 2019 en su desarrollo para agregarla al kernel.
Por lo tanto, pregunto: Dado que, por lo antedicho, no puedo setear el Security Boot para que inicie Debian, y que es incómodo cambiar el inicio cada vez mediante darle a Escape para entrar al setup de la UEFI, cómo se hace para que Grub ponga al W10 en el inicio por defecto??
Para arrancar W10 debo elegir ese SO del menú de inicio de Grub, sino a los 5'' corre por default el arranque de Debian.
No encontré documentación que me explique cómo editar ese Grub y que ponga a Windows como arranque por defecto. Salvo la línea DEFAULT=0 del archivo de parámetros de Grub pero no quise tocarla hasta estar seguro.
A cambio del menu del Grub debo abrir el setup del UEFI y dar prioridad al boot de Windows y así inicia éste por defecto, SALVO QUE deje seteado el Security Boot, porque allí aparece la incompatibilidad de Debian con esta llave (un warning en rojo que me dice que tiene la PK), cuya solución he leído que se ha postergado hasta 2019 en su desarrollo para agregarla al kernel.
Por lo tanto, pregunto: Dado que, por lo antedicho, no puedo setear el Security Boot para que inicie Debian, y que es incómodo cambiar el inicio cada vez mediante darle a Escape para entrar al setup de la UEFI, cómo se hace para que Grub ponga al W10 en el inicio por defecto??
Comentario