[s3ba11]

Mam problem z grubem w mincie.
Ustawiam w /etc/default/grub

GRUBDEFAULT=0

GRUBHIDDENTIMEOUT=0

GRUBHIDDENTIMEOUTQUIET=true

GRUB_TIMEOUT=0

zgodnie z manualem system powinien mi startować bez menu wyboru https://help.ubuntu.com/community/Grub2/Setup

Tak się jednak nie dzieje. Oczywiście po zmianach odpalam update-grub2. Niemam już pomysłów jak to ustawić poprawnie.
#linux #grub2 #linuxmint

[zakowskijan72]

@s3ba11: Głupie pytanie: Wygenerowałeś nową konfigurację gruba po zmianie tego configa?

[s3ba11]

@zakowskijan72: co masz dokładnie na myśli ?

[zakowskijan72]

@s3ba11: Czy wydałeś polecenie update-grub2?
Bo to co siedzi w /etc/default/grub to wsad do programu który Ci wygeneruje /boot/grub/grub.cfg. To drugie jest czytane przez gruba przy bootowaniu, nie to pierwsze.

[s3ba11]

@zakowskijan72: nawet napisałem że wydaje to polecenie ( ͡° ͜ʖ ͡°)

[zakowskijan72]

@s3ba11: O, nie zauważyłem... Sprawdź zatem w /boot/grub/grub.cfg czy zostały tam wprowadzone wybrane przez Ciebie opcje. I upewnij się, że masz gruba2 a nie gruba - ten drugi trzyma domyślnie konfigurację w /boot/grub/menu.lst

[s3ba11]

Tak zmiany się zapisują. Daty modyfikacji plików się zmieniają. Jak ustawię gruba na 1s to zachowuje się prawidłowo.
Ja jednak chce zeby wogle się nie pojawiał i reagował na shift jak to jest w manualu.

[s3ba11]

@zakowskijan72: OK udało się, może przyda się innym.

Zainstalowałem grub-customizer i ten ustawił to jak trzeba.
Okazało się, że trzeba było ustawić jeszcze jedną zmienną

GRUBDISABLEOS_PROBER="true"

Szkoda, że nie było tego w manualu, ale grunt że się udało ( ͡° ͜ʖ ͡°)