grub-choose-default
PPA description
Packaging of grub-choose-default, a GUI to set the grub default boot entry for grub2. See http://ds.mcbf.net/wiki/GrubChooseDefault
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:bugs-da/grub-choose-default to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:bugs-da/grub-choose-default sudo apt update
For questions and bugs with software in this PPA please contact David Mohr.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
1 → 3 of 3 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
grub-choose-default | 1.0-1 | David Mohr () |
grub-choose-default | 1.0-1 | David Mohr () |
grub2 | 1.98-1ubuntu5 | Colin Watson () |
1 → 3 of 3 results | First • Previous • Next • Last |