[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: git: how to restore a deleted worktree?
From: |
Andreas Schwab |
Subject: |
Re: git: how to restore a deleted worktree? |
Date: |
Sun, 07 Jan 2018 21:22:58 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.0.90 (gnu/linux) |
On Jan 07 2018, Nathan Moreau <address@hidden> wrote:
> To wrap things up, to discard a worktree you should:
> - remove the branch associated to it (you can find it out using the
> command `git worktree list --porcelain')
No, there is no need to remove the branch. You cannot do that anyway as
long as it is checked out.
> - then run `git worktree prune'
> In particular, I recommand you **not** to remove the directory of the
> worktree manually,
No, that _is_ the right way to remove a worktree.
Andreas.
--
Andreas Schwab, address@hidden
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."