Re: man page for "git-worktree" is a bit confusing WRT "prune"

2017-11-14 Thread Robert P. J. Day
On Mon, 13 Nov 2017, Eric Sunshine wrote: > On Mon, Nov 13, 2017 at 4:06 PM, Robert P. J. Day > wrote: ... snip ... > > how is this "expire time" measured? relative to what? i've > > looked under .git/worktrees/, and i see a bunch of files > > defining that worktree, but it's not clear how a

Re: man page for "git-worktree" is a bit confusing WRT "prune"

2017-11-13 Thread Eric Sunshine
[+cc:Duy] On Mon, Nov 13, 2017 at 4:06 PM, Robert P. J. Day wrote: > On Mon, 13 Nov 2017, Eric Sunshine wrote: >> On Mon, Nov 13, 2017 at 9:48 AM, Robert P. J. Day >> wrote: >> > finally, the prune "--expire" option is truly confusing: >> > >> > --expire >> > With prune, only exp

Re: man page for "git-worktree" is a bit confusing WRT "prune"

2017-11-13 Thread Robert P. J. Day
On Mon, 13 Nov 2017, Eric Sunshine wrote: > On Mon, Nov 13, 2017 at 9:48 AM, Robert P. J. Day > wrote: ... snip ... > > finally, the prune "--expire" option is truly confusing: > > > > --expire > > With prune, only expire unused working trees older than . > > > > suddenly, we en

Re: man page for "git-worktree" is a bit confusing WRT "prune"

2017-11-13 Thread Eric Sunshine
On Mon, Nov 13, 2017 at 9:48 AM, Robert P. J. Day wrote: > once more, into the man pages ... "git worktree" seems like a fairly > simple command, but there is some confusion about the function of > > $ git worktree prune > > the normal meaning of "prune" (certainly with git commands) is to > a

man page for "git-worktree" is a bit confusing WRT "prune"

2017-11-13 Thread Robert P. J. Day
once more, into the man pages ... "git worktree" seems like a fairly simple command, but there is some confusion about the function of $ git worktree prune the normal meaning of "prune" (certainly with git commands) is to actually delete some content, and the initial impression of this comma