15a16,19
> if [ -f /etc/default/grub ]; then
>   . /etc/default/grub
> fi
> 
25a30,31
>   if [ "$GRUB_TERMINAL" != "serial" ];
>   then
32a39,41
> EOF
>   fi
>   cat << EOF