shell-things/etc/default/grub.d/default-windows.cfg

5 lines
196 B
INI
Raw Permalink Normal View History

# I don't recommend using this file, but it boots OS #3, Windows by default.
# Requested by certain family members, who claim that on one PC everyone
# just arrow downs to Windows.
GRUB_DEFAULT=2