[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#22144: --exclude no longer works against arguments with a directory
|
From: |
Vincent Lefevre |
|
Subject: |
bug#22144: --exclude no longer works against arguments with a directory name |
|
Date: |
Wed, 30 Dec 2015 15:24:27 +0100 |
|
User-agent: |
Mutt/1.5.24-6542-vl-r83103 (2015-12-17) |
On 2015-12-28 01:09:40 -0800, Paul Eggert wrote:
> Vincent Lefevre wrote:
> > The documentation is still ambiguous. For the "main case", is this
> > the canonical name as returned by realpath?
> >
> > > >As you say, the 2.22 behavior does not seem ideal.
> > By doing a difference for subfiles of a recursive search, this is
> > even worse!
>
> Please try the attached patch, which I've installed into the savannah
> repository. It attempts to fix the behavior, and to clarify the
> documentation. It is a tricky area. Hope this helps.
I've done various tests, and it seems fine. Thanks.
--
Vincent Lefèvre <address@hidden> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
- bug#22144: --exclude no longer works against arguments with a directory name, (continued)
- bug#22144: --exclude no longer works against arguments with a directory name, Paul Eggert, 2015/12/11
- bug#22144: --exclude no longer works against arguments with a directory name, Vincent Lefevre, 2015/12/11
- bug#22144: --exclude no longer works against arguments with a directory name, Paul Eggert, 2015/12/11
- bug#22144: --exclude no longer works against arguments with a directory name, Vincent Lefevre, 2015/12/15
- bug#22144: --exclude no longer works against arguments with a directory name, Paul Eggert, 2015/12/15
- bug#22144: --exclude no longer works against arguments with a directory name, Vincent Lefevre, 2015/12/15
- bug#22144: --exclude no longer works against arguments with a directory name, Paul Eggert, 2015/12/16
- bug#22144: --exclude no longer works against arguments with a directory name, Vincent Lefevre, 2015/12/16
- bug#22144: --exclude no longer works against arguments with a directory name, Paul Eggert, 2015/12/16
- bug#22144: --exclude no longer works against arguments with a directory name, Paul Eggert, 2015/12/28
- bug#22144: --exclude no longer works against arguments with a directory name,
Vincent Lefevre <=
- bug#22144: --exclude no longer works against arguments with a directory name, Paul Eggert, 2015/12/31