carta

grub-set-default(8) on Linux

The text 009af4b028d1, as Debian 9 (Stretch) shipped it.

set the saved default boot entry for GRUB

Flags it lists

grub-set-default(8) on Linux now