#!/bin/bash # set grub cmdline CMDLINE_FILE=$1 if ! grep ^GRUB_CMDLINE_LINUX= /etc/default/grub | grep -q "cat $CMDLINE_FILE"; then eval $(grep ^GRUB_CMDLINE_LINUX= /etc/default/grub) sed -i /^GRUB_CMDLINE_LINUX=/d /etc/default/grub for var in $GRUB_CMDLINE_LINUX; do if ! grep -q ^$(echo ${var} | awk -F= '{print $1}') $CMDLINE_FILE; then NEW_GRUB_CMDLINE_LINUX="${GRUB_CMDLINE_LINUX:+$NEW_GRUB_CMDLINE_LINUX }${var}" fi done echo 'GRUB_CMDLINE_LINUX="'${NEW_GRUB_CMDLINE_LINUX:+$NEW_GRUB_CMDLINE_LINUX }'$(cat '$CMDLINE_FILE' | xargs)"' >> /etc/default/grub fi grub2-mkconfig -o /boot/grub2/grub.cfg grub2-mkconfig -o /etc/grub2-efi.cfg exit cat <<'EOF' > /etc/grub2-efi.cfg search --no-floppy --set prefix --file /boot/grub2/grub.cfg set prefix=($prefix)/boot/grub2 configfile $prefix/grub.cfg EOF