Re: "add worktree" fails with "fatal: Invalid path" error
- Date: Tue, 14 May 2019 15:48:08 +0100
- From: Shaheed Haque <shaheedhaque@xxxxxxxxx>
- Subject: Re: "add worktree" fails with "fatal: Invalid path" error
On Tue, 14 May 2019 at 13:34, Duy Nguyen <pclouds@xxxxxxxxx> wrote:
> On Mon, May 13, 2019 at 7:55 PM Shaheed Haque <shaheedhaque@xxxxxxxxx> wrote:
> > The original code used the more obvious "git worktree remove" rather
> > than "git worktree prune" but I switched partly because remove seemed
> > slow (I cannot now quantify what caused me to think that), and partly
> > because I was having other issues which, I now realise, you probably
> > addressed in your recent "stat versus mkdir race" change.
> It should be as slow as "git status; rm -r". The first command _could_
> be slow. But if you find it significantly slower than that, I will be
> glad to receive another bug report.
After I wrote, I went back and checked, and I have no idea why I
thought it slow. It seems just fine (by the time I have spawned out of
Python and all), and so I have switched the code back to
(synchronous/predictable) "git worktree remove".