On Fri, Jan 6, 2017 at 2:05 AM, Duy Nguyen <pclo...@gmail.com> wrote: > On Thu, Jan 5, 2017 at 9:02 PM, Stefan Beller <sbel...@google.com> wrote: >> On Thu, Jan 5, 2017 at 2:06 AM, Roland Illig <ril...@novomind.com> wrote: >>> Git 2.11.0 gives a wrong error message after the following commands: >>> >>> $ git init >>> $ echo hello >file >>> $ git add file >>> $ git commit -m "message" >>> $ git worktree add ../worktree >>> $ rm -rf ../worktree >>> $ git br -D worktree >>> error: Cannot delete branch 'worktree' checked out at '../worktree' >>> >>> Since ../worktree has been deleted, there cannot be anything checked out at >>> that location. >>> >>> In my opinion, deleting the branch should just work. Especially since I >>> used the -D option and the "git worktree" documentation says "When you are >>> done with a linked working tree you can simply delete it." > > Since -D means "I know what I'm doing, get out of my way", maybe we > should continue if any worktree has the branch checked out by > detaching it? > > (Yes I'm carefully tip toeing around the deleted worktree issue since > "git worktree remove" is coming. After that point, running "worktree > prune" before "branch -D" does not sound so bad) > -- > Duy
Why not just update the documentation to be "when you are done with a work tree you can delete it and then run git worktree prune"? Thanks, Jake
