From 3af87611756f8e962e647903e87d06f830a7aa86 Mon Sep 17 00:00:00 2001 From: Steve McIntyre Date: Tue, 11 Feb 2014 21:56:28 +0000 Subject: [PATCH] Add "UEFI" text to the UEFI installer menu title to make it easier for end users to distinguish between UEFI and BIOS boot. --- debian/changelog | 2 ++ tools/boot/wheezy/parse_isolinux | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 60c48603..ef5477cd 100644 --- a/debian/changelog +++ b/debian/changelog @@ -6,6 +6,8 @@ debian-cd (3.1.13-deb7u1) UNRELEASED; urgency=low apt. + List Translation files in dists/$dist/Release too - apt looks there now instead of in Index, apparently. + + Add "UEFI" text to the UEFI installer menu title to make it easier for + end users to distinguish between UEFI and BIOS boot. -- Steve McIntyre <93sam@debian.org> Mon, 17 June 2013 15:44:32 +0100 diff --git a/tools/boot/wheezy/parse_isolinux b/tools/boot/wheezy/parse_isolinux index 2bfdbba4..865e08ab 100755 --- a/tools/boot/wheezy/parse_isolinux +++ b/tools/boot/wheezy/parse_isolinux @@ -117,7 +117,7 @@ parse_file("isolinux.cfg"); $menu{"number"} = "1"; $menu{"label"} = "top"; -$menu{"title"} = "$tl_distro $tl_kernel Installer menu"; +$menu{"title"} = "$tl_distro $tl_kernel UEFI Installer menu"; $menu_title[$menudepth] = $menu{"title"}; my %kernel;