Re: git --prune --aggresive

From: Matthieu Moy <matthieu.moy@imag.fr>
Date: Nov 23, 2007, 11:15 UTC
Message-ID: <vpq3auxxleh.fsf@bauges.imag.fr>
In-Reply-To: <200711231108.16676.jnareb@gmail.com>

Jakub Narebski <jnareb@gmail.com> writes:

Show 14 quoted lines

> Jakub Narebski wrote:
>
>> 2396:[gitweb/web@git]# git gc --aggresive --prune
>> usage: git-gc [--prune] [--aggressive]
>> 2397:[gitweb/web@git]# git gc --prune --aggresive
>> usage: git-gc [--prune] [--aggressive]
>> 2398:[gitweb/web@git]# git --version
>> git version 1.5.3.5
>> 
>> Either usage string should be fixed, as it suggests that you can specify 
>> both --aggresive and --prune, or git-gc should.
>
> I'm very sorry, my mistake: --aggresive instead of --aggressive.
> Please disregard this message...

Now, for the cool thing: with the latest git, I get the following.

$ git gc --aggresive --prune error: unknown option `aggresive' <----- this is what you wanted. usage: git-gc [options]

    --prune               prune unreferenced objects
    --aggressive          be more thorough (increased runtime)
    --auto                enable auto-gc mode

$ _

Thanks, parse_options.[ch]!

-- 
Matthieu