Am 03.04.2018 um 10:47 schrieb Eric Sunshine:
On Tue, Apr 3, 2018 at 4:42 AM, Jens Krüger <Jens.Krueger@xxxxxxxxxxx> wrote:
Maybe, the attached patch may help. On my machine(s) it helped.
git worktree list --porcelain >out &&
grep "^worktree.*/destination" out &&
- ! grep "^worktree.*/source" out &&
+ ! grep "^worktree.*/source$" out &&
Our emails crossed. I suggested the same in my response (although I'd
add the '$' anchor to both grep's, not just the one).
I think so, that both of grep commands needs the '$' anchor.
Thanks, for your help.
