On Tue, 14 May 2019 at 13:34, Duy Nguyen <pclo...@gmail.com> wrote: > > On Mon, May 13, 2019 at 7:55 PM Shaheed Haque <shaheedha...@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
