tags 681426 + patch
thanks
Dear maintainers,
The same problem affects all of
/usr/share/syslinux/themes/debian-wheezy/extlinux/*.cfg. Enclosed
please find patches for each.
Thanks,
Frank
--- menu.cfg~ 2012-06-27 22:08:18.000000000 +0800
+++ menu.cfg 2012-06-27 22:08:18.000000000 +0800
@@ -2,16 +2,16 @@
menu width 82
menu title Boot menu
-include themes/debian-squeeze/stdmenu.cfg
+include themes/debian-wheezy/stdmenu.cfg
include linux.cfg
include memdisk.cfg
include os-prober.cfg
menu separator
menu begin other
menu title Other options
- include themes/debian-squeeze/stdmenu.cfg
+ include themes/debian-wheezy/stdmenu.cfg
label mainmenu
menu label ^Back..
menu exit
- include themes/debian-squeeze/other.cfg
+ include themes/debian-wheezy/other.cfg
menu end
--- other.cfg~ 2012-06-27 22:08:18.000000000 +0800
+++ other.cfg 2012-06-27 22:08:18.000000000 +0800
@@ -1,13 +1,13 @@
label hdt
menu label ^Hardware Detection Tool (HDT)
- kernel themes/debian-squeeze/hdt.c32
+ kernel themes/debian-wheezy/hdt.c32
text help
HDT displays low-level information about the systems hardware.
endtext
label memtest
menu label ^Memory Failure Detection (memtest86+)
- linux themes/debian-squeeze/memtest.bin
+ linux themes/debian-wheezy/memtest.bin
text help
memtest86+ detects memory hardware failures.
endtext
--- stdmenu.cfg~ 2012-06-27 22:08:18.000000000 +0800
+++ stdmenu.cfg 2012-06-27 22:08:18.000000000 +0800
@@ -1,4 +1,4 @@
-menu background themes/debian-squeeze/splash.png
+menu background themes/debian-wheezy/splash.png
menu color title * #FFFFFFFF *
menu color border * #00000000 #00000000 none
menu color sel * #ffffffff #76a1d0ff *
--- theme.cfg~ 2012-06-27 22:08:18.000000000 +0800
+++ theme.cfg 2012-06-27 22:08:18.000000000 +0800
@@ -1,4 +1,4 @@
-include themes/debian-squeeze/menu.cfg
-default themes/debian-squeeze/vesamenu.c32
+include themes/debian-wheezy/menu.cfg
+default themes/debian-wheezy/vesamenu.c32
prompt 0
timeout 50
