22.07.2016 18:21, Richard Owlett пишет: > I will be experimenting with multiple Linux installs on different > partitions of the same hard disk. [initially various tweaks to Debian > Jessie from the same physical set of distribution DVDs] > > The boot menu display *SHALL*: > 1. display in partition number order.
GRUB does not provide sort tools on CLI level. You can enumerate partitions by simply using (*,*) but due to internal implementation they are in reversed order. Implementing sorting is certainly possible. It is simply nobody needed it so far. > 2. display the correct partition number. Define "correct". > 3. display the partition *LABEL* Define "partition label". > a. set during install > OR > b. set during subsequent run of gparted > > The above *SHALL NOT* be changed by *ANY* run of "update grub". > _______________________________________________ Help-grub mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-grub
