it is found, of course).
* control: Reorganize a bit, including a complete rewrite of the
package descriptions.
- * grub.d/05_debian_theme: Start using the new background provided by
- desktop-base.
-- Robert Millan <rmh@aybabtu.com> Mon, 14 Jan 2008 13:12:16 +0100
Provides: grub
Replaces: pupa, grub, grub2 (<< ${Source-Version})
Conflicts: pupa, grub
-Suggests: desktop-base (>= 4.0.5)
Description: GRand Unified Bootloader, version 2 (PC/BIOS version)
GRUB is a portable, powerful bootloader. This version of GRUB is based on a
cleaner design than its predecessors, and provides the following new features:
# for convert_system_path_to_grub_path()
source /usr/lib/grub/update-grub_lib
-if [ "$GRUB_TERMINAL" = "gfxterm" ] \
- && bg=`convert_system_path_to_grub_path /usr/share/images/desktop-base/debian-blueish-wallpaper-640x480.tga` ; then
- echo "Found Debian background: `basename ${bg}`" >&2
- cat << EOF
-insmod tga
-background_image ${bg}
-set color_normal=black/black
-set color_highlight=magenta/black
-EOF
-else
+# Disabled due to bug in desktop-base 4.0.5 - pending to reenable
+#if [ "$GRUB_TERMINAL" = "gfxterm" ] \
+# && bg=`convert_system_path_to_grub_path /usr/share/images/desktop-base/debian-blueish-wallpaper-640x480.tga` ; then
+# echo "Found Debian background: `basename ${bg}`" >&2
+# cat << EOF
+#insmod tga
+#background_image ${bg}
+#set color_normal=black/black
+#set color_highlight=magenta/black
+#EOF
+#else
# set the traditional Debian blue theme
cat << EOF
set menu_color_normal=cyan/blue
set menu_color_highlight=white/blue
EOF
-fi
+#fi