Hi,
This patch should fix a small problem that Vladimir spotted and
commented on IRC, plus adds a quotes on the label (looks nicer) and
clearer in my opinion.
Cheers,
--
Carles Pina i Estany
http://pinux.info
=== modified file 'ChangeLog'
--- ChangeLog 2009-12-27 21:32:52 +0000
+++ ChangeLog 2009-12-28 01:16:20 +0000
@@ -1,3 +1,8 @@
+2009-12-28 Carles Pina i Estany <car...@pina.cat>
+
+ * normal/misc.c (grub_normal_print_device_info): Add spaces and double
+ quotes.
+
2009-12-27 Vladimir Serbinenko <phco...@gmail.com>
* normal/menu_text.c (grub_print_message_indented): Prevent
=== modified file 'normal/misc.c'
--- normal/misc.c 2009-12-20 23:32:15 +0000
+++ normal/misc.c 2009-12-28 01:15:34 +0000
@@ -68,7 +68,10 @@ grub_normal_print_device_info (const cha
if (grub_errno == GRUB_ERR_NONE)
{
if (label && grub_strlen (label))
- grub_printf_ (N_("- Label %s"), label);
+ {
+ grub_putchar (' ');
+ grub_printf_ (N_("- Label \"%s\""), label);
+ }
grub_free (label);
}
grub_errno = GRUB_ERR_NONE;
@@ -81,6 +84,7 @@ grub_normal_print_device_info (const cha
if (grub_errno == GRUB_ERR_NONE)
{
grub_unixtime2datetime (tm, &datetime);
+ grub_putchar (' ');
grub_printf_ (N_("- Last modification time %d-%02d-%02d "
"%02d:%02d:%02d %s"),
datetime.year, datetime.month, datetime.day,
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/grub-devel
