blob: 07b57a9c0dd88a0a1561a475e6a5c25abde0b657 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/bin/sh -e
. /etc/default/grub
if [ "$ADELIE_MANUAL_CONFIG" = 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
mkdir -p /boot/grub
if [ -e /boot/grub/grub.cfg ]; then
cp -p /boot/grub/grub.cfg /boot/grub/grub.cfg.update-grub-old
fi
exec grub-mkconfig -o /boot/grub/grub.cfg
|
