Если для эволюции лучше всего было бы добавить подходящий ppa, например ::!!0]
sudo add-apt-repository ppa:jacob/evo230
, и установить там (в случае, если вы доверяете этому ppa). Имейте в виду, что Evolution может не работать точно так же, как в Maverick, и что установка других зависимостей может вызвать нестабильность вашей системы.
gksu gedit /etc/grub.d/10_linux
В конце файла:
if [ "$list" ] && ! $in_submenu; then
echo "submenu \"Previous Linux versions\" {"
in_submenu=:
fi
done
if $in_submenu; then
echo "}"
добавить символ «#» перед некоторые строки, чтобы отключить (т. е. прокомментировать) их эффект, сделать это так (4 строки изменены):
if [ "$list" ] && ! $in_submenu; then
#echo "submenu \"Previous Linux versions\" {"
in_submenu=:
fi
done
#if $in_submenu; then
#echo "}"
#fi
Затем запустите sudo update-grub, чтобы применить изменения.
Ну, если вы не возражаете добавить PPA, тогда да!
Grub Customizer:
Grub Customizer - графический интерфейс для настройки настроек grub2 / burg.
Grub Customizer:
sudo add-apt-repository ppa:danielrichter2007/grub-customizer sudo apt-get update sudo apt-get install grub-customizerКак отключить Grub2 подменю?
После установки нажмите Alt + F2, введите grub-customizer и нажмите Enter.
Выберите записи подменю один за другим и нажмите Как отключить подменю Grub2 ? (Вверх) на панели инструментов, чтобы переместить их в главное меню.
И не более подменю! Сохраните настройки, нажав кнопку «Сохранить» на панели инструментов. Это оно!
Чтобы удалить Grub Customizer, запустите следующие команды в терминале
sudo apt-get autoremove --purge grub-customizer sudo add-apt-repository -r ppa:danielrichter2007/grub-customizer sudo apt-get update