From 7026b0e27820ed96c61f36372e8377f1c18a7e37 Mon Sep 17 00:00:00 2001 From: Vladimir 'phcoder' Serbinenko Date: Wed, 23 May 2012 09:10:56 +0200 Subject: [PATCH] * grub-core/normal/misc.c (grub_normal_print_device_info): Dsiplay ext* instead of ext2. --- ChangeLog | 5 +++++ grub-core/normal/misc.c | 5 ++++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 96cfb6b4f..f28bc2e7a 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2012-05-23 Vladimir Serbinenko + + * grub-core/normal/misc.c (grub_normal_print_device_info): Dsiplay + ext* instead of ext2. + 2012-05-23 Vladimir Serbinenko * grub-core/normal/term.c (read_terminal_list): Terminate the terminal diff --git a/grub-core/normal/misc.c b/grub-core/normal/misc.c index 43ffd9ccf..e1e47b5ac 100644 --- a/grub-core/normal/misc.c +++ b/grub-core/normal/misc.c @@ -61,7 +61,10 @@ grub_normal_print_device_info (const char *name) if (fs) { - grub_printf_ (N_("Filesystem type %s"), fs->name); + const char *fsname = fs->name; + if (grub_strcmp (fsname, "ext2") == 0) + fsname = "ext*"; + grub_printf_ (N_("Filesystem type %s"), fsname); if (fs->label) { char *label;