From bf65e3915d692d04624a43de0a34dda6d2db57fb Mon Sep 17 00:00:00 2001
From: Colin Watson <cjwatson@debian.org>
Date: Thu, 6 Sep 2012 12:46:46 +0100
Subject: [PATCH] Bodge 05_debian_theme to make the module availability check
 work again with modules in /boot/grub/$target.

---
 debian/grub.d/05_debian_theme | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/debian/grub.d/05_debian_theme b/debian/grub.d/05_debian_theme
index d7898ad4f..95d7aa641 100755
--- a/debian/grub.d/05_debian_theme
+++ b/debian/grub.d/05_debian_theme
@@ -33,6 +33,16 @@ set_default_theme(){
 	echo "${1}set menu_color_highlight=white/blue"
 }
 
+module_available(){
+	local module
+	for module in "${1}.mod" */"${1}.mod"; do
+		if [ -f "${module}" ]; then
+			return 0
+		fi
+	done
+	return 1
+}
+
 set_background_image(){
 	# Step #1: Search all available output modes ...
 	local output
@@ -62,7 +72,7 @@ set_background_image(){
 	esac
 
 	# Step #4: Check if the necessary GRUB module is available.
-	if ! [ -f "${reader}.mod" ]; then
+	if ! module_available "${reader}"; then
 		return 4
 	fi