carta

grub-set-default(8) on Linux

The text 4707515a87e9, as Debian 8 (Jessie) shipped it.

set the saved default boot entry for GRUB

Flags it lists

grub-set-default(8) on Linux now