diff options
| -rw-r--r-- | debian/default/grub | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/default/grub b/debian/default/grub index 512e2e1..6b1f85d 100644 --- a/debian/default/grub +++ b/debian/default/grub @@ -4,10 +4,11 @@ # info -f grub -n 'Simple configuration' LSB_VENDOR="$(lsb_release -i -s 2> /dev/null || echo Progress Linux)" +LSB_RELEASE="$(lsb_release -r -s 2> /dev/null || echo $(cat /etc/progress-linux_version))" GRUB_DEFAULT=0 GRUB_TIMEOUT=@DEFAULT_TIMEOUT@ -GRUB_DISTRIBUTOR="$LSB_VENDOR" +GRUB_DISTRIBUTOR="$LSB_VENDOR $LSB_RELEASE" GRUB_CMDLINE_LINUX_DEFAULT="@DEFAULT_CMDLINE@" GRUB_CMDLINE_LINUX="" |