История изменений

Исправление Vsevolod-linuxoid, 05.12.17 11:00 (текущая версия) :

Это такая штука, что ищет другие ОС и добавляет их в меню GRUB. Отключать так: добавляешь в файл /etc/default/grub строчку

GRUB_DISABLE_OS_PROBER=true

, затем снова делаешь конфиг GRUB командой

grub-mkconfig -o /boot/grub/grub.cfg

Но это если BIOS, у UEFI не уверен, как именно. Да и после этого придется десяточку прописывать в grub ручками, в /etc/grub.d/40_custom , подробнее смотри про GRUB на арчвики.

Исходная версия Vsevolod-linuxoid, 05.12.17 10:59:

GRUB_DISABLE_OS_PROBER=true

, затем снова делаешь конфиг GRUB командой

grub-mkconfig -o /boot/grub/grub.cfg

Но это если BIOS, у UEFI не уверен, как именно. Да и после этого придется десяточку прописывать в grub ручками, в /etc/grub.d/40_custom , подробнее смотри про grub на арчвики.