diff options
| -rw-r--r-- | debian/default/grub | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/debian/default/grub b/debian/default/grub index 7617f01..247497b 100644 --- a/debian/default/grub +++ b/debian/default/grub @@ -3,9 +3,11 @@ # For full documentation of the options in this file, see: # info -f grub -n 'Simple configuration' +LSB_VENDOR="$(lsb_release -i -s 2> /dev/null || echo Progress Linux)" + GRUB_DEFAULT=0 GRUB_TIMEOUT=@DEFAULT_TIMEOUT@ -GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian` +GRUB_DISTRIBUTOR="$LSB_VENDOR" GRUB_CMDLINE_LINUX_DEFAULT="@DEFAULT_CMDLINE@" GRUB_CMDLINE_LINUX="" |