On Tue, Nov 10, 2020 at 07:22:15PM +0300, Vladimir D. Seleznev wrote:
> On Tue, Nov 10, 2020 at 07:15:27PM +0300, Andrey Savchenko wrote:
> > On Tue, 10 Nov 2020 18:51:11 +0300 Vladimir D. Seleznev wrote:
> > > Пока оно не applied, предлагайте варианты названия.
> > 
> > Мне нравится вариант diffignore. 
> 
> diffexclude мне кажется более точно отражающим смысл. diffignore ничуть
> не лучше nodiff по смыслу, а символов больше.

Да оба отражают. :)
Вот два предложения:
"Из диффа _исключают_ некоторые пути."
"diff(1) при составлении диффа _не обращает внимания_ на некоторые пути."
Предложения означают одно и тоже, но второе чуть подробнее.