[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, 16 Dec 2015 02:00:18 +0100 |
User-agent: |
Mutt/1.5.24-6539-vl-r83103 (2015-12-08) |
On 2015-12-15 15:27:27 -0800, Paul Eggert wrote:
> Vincent Lefevre wrote:
> >For the "main case", is this
> >the canonical name as returned by realpath?
>
> I don't see why. grep doesn't need to compute anything's realpath.
How is the file name defined, then?
--
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, 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/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 <=
- 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, 2015/12/30
- bug#22144: --exclude no longer works against arguments with a directory name, Paul Eggert, 2015/12/31