Show pagesourceOld revisionsBacklinksExport to PDFBack to top Share via Share via... Twitter LinkedIn Facebook Pinterest Telegram WhatsApp Yammer Reddit TeamsRecent ChangesSend via e-MailPrintPermalink × Grub Customizing grub Default grub item on Ubuntu Edit default grub option linux/grub/start.txt Last modified: 2019/10/31 09:05by 127.0.0.1