[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Device instability, gettext and default

From: Vladimir 'φ-coder/phcoder' Serbinenko
Subject: Re: Device instability, gettext and default
Date: Mon, 05 Mar 2012 13:37:52 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:8.0) Gecko/20120216 Icedove/8.0

On 05.03.2012 12:51, Andreas Vogel wrote:
Am 05.03.2012 01:34, schrieb Vladimir 'φ-coder/phcoder' Serbinenko:
On 05.03.2012 01:20, Andreas Vogel wrote:
Am 05.03.2012 01:03, schrieb Vladimir 'φ-coder/phcoder' Serbinenko:
options? Any special reason?
2) Why do you refuse to allow short options for all of the menuentry
Because it shares the space with options to menuentry.
Don't understand what you mean. What is shared?
menuentry "title" hello {
    echo $1; sleep 10
I'm really sorry, but i still don't understand.... and I'd really like
to understand it.

Why is it OK for the menuentry command to accept long options but not OK
to accept short options? What is the difference here handling long
options opposed to handling short options?
The menuentry itself might want to define options on its own. Space of long options is large enough to easily avoid conflicts but the space of short ones isn't.

Vladimir 'φ-coder/phcoder' Serbinenko

reply via email to

[Prev in Thread] Current Thread [Next in Thread]