Debian12 - grub

[radek_dr]

Cvičně jsem nainstaloval Debian 12 RC-1. Instalace proběhla v pořádku, systém je svižný i na slabším železe, zatím jsem nenalezl problém. Ale...
Mám v NB dva disky, originál na desce a přidaný větší, na kterém mám pracovní OS. Původní disk používám jako testovací v multibootu. Tady ovšem byl ten problém - grub odmítal přidat do multibootu původní OS (Debian 11).
Po delším pátrání, kdy grub tvrdil, že žádný jiný OS neexistuje jsem našel příčinu: v novém grubu je v configu nová položka, kterou jsem před tím nikde nenašel, takže pokud se do podobné situace dostanete, náprava je jednoduchá: v /etc/default/grub odkomentovat položku:

Kód [Vybrat] Rozbalit

#GRUB_DISABLE_OS_PROBER=false
pak klasicky

Kód [Vybrat] Rozbalit

update-grub a po restartu jsou v menu všechny dostupné OS.
Třeba to někomu pomůže.