From 2953f416bab3edb2f14af8aa2cb36369d46ea87a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Aur=C3=A9lien=20COUDERC?= Date: Sun, 6 Nov 2016 23:36:53 +0000 Subject: [PATCH] Remove warning in maint scripts for grub mode detection --- debian/postinst | 2 +- debian/prerm | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/postinst b/debian/postinst index 4fae30d..1c8c1ce 100644 --- a/debian/postinst +++ b/debian/postinst @@ -153,7 +153,7 @@ EOF # Alternatives for grub # Highest priority for active theme ## Favor widescreen / hi-res background for efi installations - num_grub_efi_installed=$(dpkg-query --list "grub-efi*" | grep "^i" | wc -l) + num_grub_efi_installed=$(dpkg-query --list "grub-efi*" 2> /dev/null | grep "^i" | wc -l) if [ $num_grub_efi_installed -gt 0 ] ; then grub_prio_4x3=15 grub_prio_16x9=20 diff --git a/debian/prerm b/debian/prerm index 55ac9f0..9013b60 100644 --- a/debian/prerm +++ b/debian/prerm @@ -145,7 +145,7 @@ spacefun-grub.png spacefun-grub-widescreen.png EOF ## *Lastly* remove *highest priority* alternative - num_grub_efi_installed=$(dpkg-query --list "grub-efi*" | grep "^i" | wc -l) + num_grub_efi_installed=$(dpkg-query --list "grub-efi*" 2> /dev/null | grep "^i" | wc -l) if [ $num_grub_efi_installed -gt 0 ] ; then remove_first_ratio=4x3 remove_last_ratio=16x9