blob: 0d93749003ef25c51eb6a43821cf01be3bea2f78 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#if $getVar('kernel_options_post','') != ''
# Start post install kernel options update
if [ -f /etc/default/grub ]; then
TMP_GRUB=\$(gawk 'match(\$0,/^GRUB_CMDLINE_LINUX="([^"]+)"/,a) {printf("%s\n",a[1])}' /etc/default/grub)
sed -i '/^GRUB_CMDLINE_LINUX=/d' /etc/default/grub
echo "GRUB_CMDLINE_LINUX=\"\$TMP_GRUB $kernel_options_post\"" >> /etc/default/grub
grub2-mkconfig -o /boot/grub2/grub.cfg
else
/sbin/grubby --update-kernel=\$(/sbin/grubby --default-kernel) --args="$kernel_options_post"
fi
# End post install kernel options update
#end if
|