summaryrefslogblamecommitdiff
path: root/user/grub/update-grub
blob: c8c4953903fe9e7c8e073307b2241281f77a5d12 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
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