Odpowiedzi:
Zakładam, że masz GRUB2:
Aby dostosować ustawienia GRUB2, musisz edytować /etc/default/grub
plik, a następnie uruchomić sudo update-grub
polecenie.
Wybierz domyślny system operacyjny: Zmień wiersz GRUB_DEFAULT =. Domyślnie GRUB_DEFAULT = 0 używa pierwszego wpisu jako domyślnego - zmień liczbę na 1, aby użyć drugiego wpisu, 2, aby użyć trzeciego wpisu itd. Możesz także użyć GRUB_DEFAULT = zapisany, a GRUB automatycznie uruchamia ostatnio wybrany system operacyjny przy każdym uruchomieniu. Możesz także określić etykietę w cudzysłowie. Na przykład, jeśli masz system operacyjny o nazwie Windows 7 (moduł ładujący) na liście systemów operacyjnych, możesz użyć GRUB_DEFAULT = „Windows 7 (moduł ładujący)”
To nie jest „BIOS”, to nie jest menu rozruchowe bootloadera; to menu rozruchowe UEFI . Możesz zmienić jego kolejność za pomocą zmiennej EFI „BootOrder”; Linux ma do tego polecenie efibootmgr
:
# efibootmgr
BootOrder: 0003,0000
Boot0000* Linux Boot Manager
Boot0003* Windows Boot Manager
# efibootmgr --bootorder 0000,0003
(Funkcja bonusowa: --bootnext
pozwala wybrać system operacyjny tylko dla jednego restartu, dzięki czemu możesz utworzyć alias jak windows() { sudo efibootmgr --bootnext 0003 && systemctl reboot; }
.)
Ponieważ kolejność rozruchu została edytowana za pomocą:
efibootmgr --bootorder
byłby resetowany przy każdym ponownym uruchomieniu, znalazłem to: https://github.com/rhinstaller/efibootmgr/issues/19
Ktoś opublikował tam swoje rozwiązanie: https://communities.intel.com/thread/43629 Menu uruchamiania 1. wpis to teraz nazwa mojego HDD0, ale uruchamia Linuksa, więc jest w porządku. A jeśli chcę uruchomić system Windows, mogę go również wybrać.