From: BitTwister@mouse-potato.com   
      
   On Tue, 25 Apr 2017 07:51:20 -0400, bad sector wrote:   
      
   > I shouldn't have to tell a grub *anything* to get a reasonable default   
   > sort but if there's a method I'll look into it.   
   >   
   > Since we're looking at booting options on a physical real-world   
   > multi-partition disk, to me an alphabetical sort would be total   
   > nonesense. Others may have other ideas but the fact that the list is   
   > anything but alphabetical seems to support my idea. What's missing is   
   > one leading zero which would cover 99 partitions. Nor would I have half   
   > the problem with two leading zeros that I do with a list that wants to   
   > be numerical but is neither. Here's what I see   
   >   
   > TW   
   > 1   
   > 11   
   > 12   
   > 13   
   > 3   
   > 7   
   > 8   
   > 9   
      
   Getting a numerical sort should not be that hard. For example:   
      
   $ cat > a   
   > be numerical but is neither. Here's what I see   
   >   
   > TW   
   > 1   
   > 11   
   > 12   
   > 13   
   > 3   
   > 7   
   > 8   
   > 9   
   (Ctl+d to terminate cat)   
      
   $ sort -V a   
      
   >   
   > 1   
   > 3   
   > 7   
   > 8   
   > 9   
   > 11   
   > 12   
   > 13   
   > TW   
   > be numerical but is neither. Here's what I see   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)