Comment 2 for bug 1864551

Revision history for this message
Matthew Paul Thomas (mpt) wrote :

This is unfortunately a question of what to be consistent with.

On one hand, Ubuntu Desktop has used “start”+“restart”, rather than “boot”+“reboot”, since version 5.10 or so. See for example Focal’s Power Off dialog, and the Ubuntu Desktop Guide.

On the other hand, the GRUB UI that this option appears in says “boot the selected OS”.

GRUB is, to put it lightly, not a great example of language to follow: it also says “select which entry is highlighted” (a tautology), “return previous menu” (missing a couple of words there), and “GNU GRUB” (huh?).

So I hope someday we can clean up Grub’s language, including switching to “start”, like the Windows Boot (!) Manager does (“Choose an operating system to start”). Until then, though, I guess we should follow the “When In Rome” principle — it’s better to be consistent with things nearer than farther — and use “boot”.