[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gnu-web-doc-update: fails to add new directories
From: |
Jim Meyering |
Subject: |
Re: gnu-web-doc-update: fails to add new directories |
Date: |
Thu, 13 Dec 2012 18:06:23 +0100 |
Akim Demaille wrote:
> Le 13 déc. 2012 à 15:35, Jim Meyering <address@hidden> a écrit :
>
>> Hi Akim!
>
> Hi Jim!
>
>> Thanks for the investigation and report.
>> If using --types='?D' makes it work, I'd go with that:
>> that seems simpler than changing the external cvsu program.
>
> OK. But it will require some implementation of a fix point.
>
> $ ls
> bison
> $ cd bison/
> $ mkdir too
> $ cvsu
> D too
> $ mkdir foo
> $ mkdir foo/bar
> $ touch foo/bar/baz
> $ touch qux
> $ cvsu
> D foo
> ? qux
> D too
> $ cvsu --types='D?'
> D foo
> ? qux
> D too
>
> cvsu does not report that there are directories and files inside the
> 'D's. Is it wrong to simply cvs add everything that is there?
> Just skipping CVS, but adding all the rest using "find"?
> Say "find . -name CVS -prune -o -print".
That sounds like it will work.
Thanks again.
- Re: gnu-web-doc-update: fails to add new directories, (continued)
- Re: gnu-web-doc-update: fails to add new directories, Akim Demaille, 2012/12/13
- Re: [off-list] CVS pains, Simon Josefsson, 2012/12/13
- Re: [off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories), Karl Berry, 2012/12/13
- Re: [off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories), Stefano Lattarini, 2012/12/14
- Re: [off-list] CVS pains, Thien-Thi Nguyen, 2012/12/14
- Re: [off-list] CVS pains, Karl Berry, 2012/12/14
- Re: [off-list] CVS pains, Thien-Thi Nguyen, 2012/12/15
- Re: gnu-web-doc-update: fails to add new directories,
Jim Meyering <=
- Re: gnu-web-doc-update: fails to add new directories, Akim Demaille, 2012/12/14
- Re: gnu-web-doc-update: fails to add new directories, Jim Meyering, 2012/12/15
- Re: gnu-web-doc-update: fails to add new directories, Akim Demaille, 2012/12/15
- Re: gnu-web-doc-update: fails to add new directories, Jim Meyering, 2012/12/15
- Re: gnu-web-doc-update: fails to add new directories, Akim Demaille, 2012/12/16