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

Исправление Vsevolod-linuxoid, 04.10.18 13:16 (текущая версия) :

После добавления записи в /etc/grub.d/40_custom нужно выполнить

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

— вроде в debian-based можно использовать вместо этого

sudo update-grub

Исходная версия Vsevolod-linuxoid, 04.10.18 13:16:

После добавления записи в /etc/grub.d/40_custom нужно выполнить

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

— вроде в debian-based можно использовать

sudo update-grub