carta

grub-set-default(1) on Linux

The text 7eaf821d5e7d, as Debian 4.0 (Etch) shipped it.

Set the default boot entry for GRUB

Flags it lists

grub-set-default(1) on Linux now