[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gettext: normal/*
From: |
Robert Millan |
Subject: |
Re: gettext: normal/* |
Date: |
Sat, 5 Dec 2009 21:24:23 +0100 |
User-agent: |
Mutt/1.5.18 (2008-05-17) |
On Sat, Dec 05, 2009 at 07:31:02PM +0000, Carles Pina i Estany wrote:
>
> Hello,
>
> I have finished in my computer normal/* (looks very nice to see Grub2
> screens in Catalan :-) ).
>
> There is one string in function grub_normal_reader_init:
>
> -------
> grub_printf (_("\
> [ Minimal BASH-like line editing is supported. For the first word, TAB\n\
> lists possible command completions. Anywhere else TAB lists possible\n\
> device/file completions.%s ]\n\n"),
> reader_nested ? " ESC at any time exits." : "");
> -------
>
> I could use the grub_printf_indent but then on screen would look like:
>
> [ Minimal BASH-like line editing is supported. For the first word, TAB
> lists possible command completions. Anywhere else TAB lists possible
> device/file completions. ESC at any time exits. ]
>
> Do you want to extend a bit grub_printf_indent to support the special
> indenting
> of "[" or doesn't matter?
>
> My opinion is that doesn't matter, keep it simple. But if we prefer the other
> way I would do.
Doesn't matter. But if you do this, please remove the brackets.
--
Robert Millan
The DRM opt-in fallacy: "Your data belongs to us. We will decide when (and
how) you may access your data; but nobody's threatening your freedom: we
still allow you to remove your data and not access it at all."
- gettext: normal/*, Carles Pina i Estany, 2009/12/05
- Re: gettext: normal/*,
Robert Millan <=
- Re: gettext: normal/*, Carles Pina i Estany, 2009/12/05
- Re: gettext: normal/*, Carles Pina i Estany, 2009/12/05
- Re: gettext: normal/*, Jordi Mallach, 2009/12/07
- Re: gettext: normal/*, Carles Pina i Estany, 2009/12/07
- Re: gettext: normal/*, Carles Pina i Estany, 2009/12/19
- Re: gettext: normal/*, Carles Pina i Estany, 2009/12/20
- Re: gettext: normal/*, Carles Pina i Estany, 2009/12/20