On Tue, Apr 3, 2018 at 4:42 AM, Jens Krüger <jens.krue...@frm2.tum.de> 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).
