From 47c7a3aca2c7a5b582b8cf9685eb250172bb821a Mon Sep 17 00:00:00 2001
From: Mikaela Suomalainen <mikaela+git@mikaela.info>
Date: Wed, 4 Sep 2019 12:00:57 +0300
Subject: [PATCH] grub.d: add default-windows.cfg

Resolves: #33
---
 etc/default/grub.d/default-windows.cfg | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 etc/default/grub.d/default-windows.cfg

diff --git a/etc/default/grub.d/default-windows.cfg b/etc/default/grub.d/default-windows.cfg
new file mode 100644
index 00000000..a8dbd295
--- /dev/null
+++ b/etc/default/grub.d/default-windows.cfg
@@ -0,0 +1,4 @@
+# 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