Erase backspaced character in grub_username_get

It probably does not work across linefeed, but hopefully user names are not
that long (and nobody is using terminal that small).

diff --git a/grub-core/normal/auth.c b/grub-core/normal/auth.c
index 8615c48c34defbf89a72ac7f8bde7f8c93f6f5a5..7338f8245e3a9bbe47e821fb43c2b699b9527ffb 100644 (file)
--- a/grub-core/normal/auth.c
+++ b/grub-core/normal/auth.c
@@ -177,7 +177,7 @@ grub_username_get (char buf[], unsigned buf_size)
          if (cur_len)
            {
              cur_len--;
-             grub_printf ("\b");
+             grub_printf ("\b \b");
            }
          continue;
        }