pragmatism first

grub-set-default

Loading manual page ...

This manual	Reference	Other manuals
grub-set-default(8)	referred by	grub-editenv(1) \| grub-reboot(8)
grub-set-default(8)	refer to	grub-editenv(1) \| grub-reboot(8)