Нет update-grub
После установки AgiliaLinux 8.0 второй ОС вместе с Windows 7, я снова не обнаружил семёрку в загрузчике GRUB. Однако воспользоваться командой update-grub, которая уже давно стала условным рефлексом, не удалось:

Долгое гугление подсказало решение — использовать grub-mkconfig следующим образом:
[...]
