From: Michael Witten Date: Sat, 03 Apr 2010 21:42:41 GMT Subject: Re: 'git gc --aggressive' effectively unusable Message-ID: In-Reply-To: On Sat, Apr 3, 2010 at 15:33, Michael Witten wrote: > $ git help gc | sed -n /--aggressive$/,+3p As an aside: I didn't realize I copied that in there; this would probably be better: $ git help gc | sed -n /--aggressive$/,/^$/p