On Thu, May 29, 2008 at 10:25:09AM +0100, José Matos wrote: > On Thursday 29 May 2008 09:17:43 Jean-Marc Lasgouttes wrote: > > What about --batch instead? We should btw be more consistent in > > using -- for long commands. > > I agree with Jean-Marc here. In this regard we should follow GNU code > standard > here - for short commands, like -e and a dash for long commands > like --export. > > The added advantage of this rule is to allow the concatenation of short > comands into one.
That's a feature I do not really like, actually... Andre'