shell-things/etc/default/grub.d/default-windows.cfg
2019-09-04 12:00:57 +03:00

5 lines
196 B
INI

# 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