Re: "add worktree" fails with "fatal: Invalid path" error
- From
- Shaheed Haque <shaheedhaque@gmail.com>
- Date
- May 14, 2019, 14:48 UTC
- Message-ID
- <CAHAc2jfZ7QvZ_PTZo5q8orSStZL2y8GJ=ZPe2-+hcydjEZ0=Ew@mail.gmail.com>
- In-Reply-To
- <CACsJy8DnmQxO+r3ybg2zpCSMZJaTwc_C8V3QMCDjvga09sBigw@mail.gmail.com>
On Tue, 14 May 2019 at 13:34, Duy Nguyen <pclouds@gmail.com> wrote:
Show 11 quoted lines
> > On Mon, May 13, 2019 at 7:55 PM Shaheed Haque <shaheedhaque@gmail.com> 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".
Thanks, Shaheed
> -- > Duy