В Ubuntu 20.04 возможно ли показать только пользовательские пункты меню в grub?

Из https://help.ubuntu.com/community/Grub2/CustomMenus говорится следующее, чтобы использовать только пользовательские меню в GRUB:

Использование только настраиваемого меню

Ниже приведен один пример способа использования только настраиваемого меню и не получать никаких автоматических обновлений элементов меню:

 Скопируйте / вставьте все содержимое вашего / boot / grub / grub.cfg в файл /etc/grub.d/40_custom под существующими строками заголовка. 
 
 #! / bin / sh 
 
exec tail -n +3 $ 0 
 
 # Этот файл обеспечивает простой способ добавления пользовательских пунктов меню. Просто введите 
 
 # пунктов меню, которые хотите добавить после этого комментария.Будьте осторожны, чтобы не изменить 
 
 # строку 'exec tail' выше. 
 
Удалите все, что находится над первым элементом меню, за исключением существующих строк заголовка выше. {{1 }} 
Удалите из папки /etc/grub.d все файлы, кроме следующих: 
 
00_header, 05_debian_theme, 40_custom и README. 
 {{1} } В качестве альтернативы вы можете хранить другие файлы в папке /etc/grub.d, если вы сделаете их невыполнимыми. 
Отредактируйте, добавьте или удалите пункты меню по своему усмотрению, затем сохраните файл. 
 
Запустите update-grub от имени пользователя root, чтобы применить изменения! 
 

Надеюсь, это помогает!