From 3c2ccced9f54ab390c55c89bc3a70923de7f195c Mon Sep 17 00:00:00 2001
From: Max Rees <maxcrees@me.com>
Date: Sun, 18 Aug 2019 21:46:13 -0500
Subject: user/grub: add trigger to auto-update configuration

---
 user/grub/update-grub | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 user/grub/update-grub

(limited to 'user/grub/update-grub')

diff --git a/user/grub/update-grub b/user/grub/update-grub
new file mode 100644
index 000000000..c8c495390
--- /dev/null
+++ b/user/grub/update-grub
@@ -0,0 +1,14 @@
+#!/bin/sh -e
+. /etc/default/grub
+if [ "$ADELIE_MANUAL_CONFIG" -eq 1 ]; then
+	cat >&2 <<-EOF
+	*
+	* You have specified that you are using a manual GRUB configuration.
+	* You must update it yourself.
+	*
+	EOF
+	exit 0
+fi
+
+cp -p /boot/grub/grub.cfg /boot/grub/grub.cfg.update-grub-old
+exec grub-mkconfig -o /boot/grub/grub.cfg
-- 
cgit v1.2.3-70-g09d2