-
Updated
Jun 29, 2023 - Shell
#
grub-selector
Here are 2 public repositories matching this topic...
A command-line tool that helps you to select a different kernel (or even a different OS) to boot on your Ubuntu system
-
Updated
Dec 26, 2019 - Shell
Improve this page
Add a description, image, and links to the grub-selector topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the grub-selector topic, visit your repo's landing page and select "manage topics."