Re: [PATCH 0/9] worktree: fix bugs and broaden --force applicability
- From
Jeff King <peff@peff.net>
- Date
- Aug 30, 2018, 19:46 UTC
- Message-ID
- <20180830194634.GE19685@sigill.intra.peff.net>
- In-Reply-To
- <CAPig+cS3-oRzQrZGM_-pXUVFE3HvMdtODurPkmYgw1vFV8zb3Q@mail.gmail.com>
On Thu, Aug 30, 2018 at 05:04:32AM -0400, Eric Sunshine wrote:
Show 11 quoted lines
> On Thu, Aug 30, 2018 at 3:54 AM Jeff King <peff@peff.net> wrote: > > Subject: [PATCH] doc-diff: force worktree add > > > > We avoid re-creating our temporary worktree if it's already > > there. But we may run into a situation where the worktree > > has been deleted, but an entry still exists in > > $GIT_DIR/worktrees. > > Can "clean" or "distclean" also be augmented to remove this worktree > (and directory)? I guess that "distclean" would make more sense than > "clean"(?).
I suppose so. I don't think I've _ever_ used distclean, and I only rarely use "clean" (a testament to our Makefile's efforts to accurately track dependencies). I'd usually use "git clean" when I want something pristine (because I don't want to trust the Makefile at all).
-Peff