Re: [PATCH 2/2] completion: split __git_ps1 into a separate script
- From
SZEDER Gábor <szeder@ira.uka.de>
- Date
- May 24, 2012, 20:49 UTC
- Message-ID
- <20120524204948.GA9028@goldbirke>
- In-Reply-To
- <CAMP44s0aKi+8WHPXYLQ+iSMkj9iV88JGTabrpBRNBWb7upAMiQ@mail.gmail.com>
On Wed, May 23, 2012 at 05:40:46PM +0200, Felipe Contreras wrote:
> What do we gain by this incredible user annoyance? Less maintenance > burden of __gitdir() which barely changes anyway?
I happen to have a topic in the works which changes __gitdir() and adds some helper functions to it, so the diffstat of all __gitdir()-related changes is this:
1 file changed, 71 insertions(+), 6 deletions(-)
Gábor