diff options
Diffstat (limited to 'main/grub/grub.post-upgrade')
| -rw-r--r-- | main/grub/grub.post-upgrade | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/main/grub/grub.post-upgrade b/main/grub/grub.post-upgrade new file mode 100644 index 0000000000..2489fc13b6 --- /dev/null +++ b/main/grub/grub.post-upgrade @@ -0,0 +1,19 @@ +#!/bin/sh + +if [ -f /etc/grub/default ]; then + . /etc/grub/default +fi + +if [ -z "$GRUB_CMDLINE_LINUX_DEFAULT" ]; then + set -- $(cat /proc/cmdline) + bootopts= + for opt; do + case "$opt" in + initrd=*|BOOT_IMAGE=*|root=*|rootflags=*) ;; + *) bootopts="$bootopts $opt";; + esac + done + mkdir -p /etc/default + echo "GRUB_CMDLINE_LINUX_DEFAULT=\"$bootopts\"" >> /etc/default/grub +fi + |