This is in fact already fixed by my grub-reboot implementation in GRUB 2; it accepts names as well as numbers to avoid precisely this problem. (I doubt it will ever be fixed in GRUB Legacy; it would be rather difficult and there is no development effort there to speak of.)
This is in fact already fixed by my grub-reboot implementation in GRUB 2; it accepts names as well as numbers to avoid precisely this problem. (I doubt it will ever be fixed in GRUB Legacy; it would be rather difficult and there is no development effort there to speak of.)