Re: git branch -D doesn't work with deleted worktree

2017-01-10 Thread Duy Nguyen
On Tue, Jan 10, 2017 at 12:08 PM, Jacob Keller wrote: > On Mon, Jan 9, 2017 at 2:07 AM, Duy Nguyen wrote: >> On Mon, Jan 9, 2017 at 10:44 AM, Jacob Keller wrote: >>> 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 pr

Re: git branch -D doesn't work with deleted worktree

2017-01-09 Thread Jacob Keller
On Mon, Jan 9, 2017 at 2:07 AM, Duy Nguyen wrote: > On Mon, Jan 9, 2017 at 10:44 AM, Jacob Keller wrote: >> 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"? > > The document does say that (a bit verbose though):

Re: git branch -D doesn't work with deleted worktree

2017-01-09 Thread Duy Nguyen
On Mon, Jan 9, 2017 at 10:44 AM, Jacob Keller wrote: > 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"? The document does say that (a bit verbose though): When you are done with a linked working tree you can sim

Re: git branch -D doesn't work with deleted worktree

2017-01-08 Thread Jacob Keller
On Fri, Jan 6, 2017 at 2:05 AM, Duy Nguyen wrote: > On Thu, Jan 5, 2017 at 9:02 PM, Stefan Beller wrote: >> On Thu, Jan 5, 2017 at 2:06 AM, Roland Illig wrote: >>> Git 2.11.0 gives a wrong error message after the following commands: >>> >>> $ git init >>> $ echo hello >file >>> $ git add file >>

Re: git branch -D doesn't work with deleted worktree

2017-01-06 Thread Duy Nguyen
On Thu, Jan 5, 2017 at 9:02 PM, Stefan Beller wrote: > On Thu, Jan 5, 2017 at 2:06 AM, Roland Illig 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 ../worktre

Re: git branch -D doesn't work with deleted worktree

2017-01-05 Thread Stefan Beller
On Thu, Jan 5, 2017 at 2:06 AM, Roland Illig 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

git branch -D doesn't work with deleted worktree

2017-01-05 Thread Roland Illig
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 ../worktr