Igor Schein on Fri, 4 Oct 2002 18:55:41 -0400

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

Re: gp -v

On Sat, Oct 05, 2002 at 12:43:46AM +0200, Karim BELABAS wrote:
> Hi pari-dev,
>   the output of 'gp --version' is (relatively) hard to parse. Also gp lacks the
> customary '-v' short form.
> I'd like 'gp --version' to output the version number (only).
> The current behaviour would be obtained by 'gp -v'.
> Opinions?

In general, a good idea.  Would output of gp -v contain version of
CHAINED file for development branch?  

I can see more places where gnu-isation can be applied, e.g.