On 08/18/2015 10:08 PM, Pádraig Brady wrote:
> +1
Thanks for the review. Pushed at:
http://git.sv.gnu.org/cgit/coreutils.git/commit/?id=4ec9ccad
Have a nice day,
Berny
On 18/08/15 11:33, Bernhard Voelker wrote:
> On 08/18/2015 04:39 PM, Pádraig Brady wrote:
>> I see that `grep -L` is already used in maint.mk, and is widely
>> available as FreeBSD and OS X use GNU grep or a compat replacement.
>
> Even better!
>
>> Therefore it could be simplified to avoid temp
On 08/18/2015 04:39 PM, Pádraig Brady wrote:
> I see that `grep -L` is already used in maint.mk, and is widely
> available as FreeBSD and OS X use GNU grep or a compat replacement.
Even better!
> Therefore it could be simplified to avoid temp files like:
>
> awk ... | xargs grep -L 'Copy...' |
On 17/08/15 13:32, Bernhard Voelker wrote:
> +# Ensure that non-trivial .x files in the 'man/' subdirectory,
> +# i.e., files exceeding a line count of 20 or a byte count of 1000,
> +# contain a Copyright notice.
> +.PHONY: sc_man_check_x_copyright
> +sc_man_check_x_copyright:
> + @t=$@-t;
On 08/17/2015 05:56 AM, Jim Meyering wrote:
> Here's another alternative: leave as-is, but add a syntax-checking rule to
> formalize the policy.
Good idea - patch attached.
Thanks & have a nice day,
Berny
>From 0faa93991f6e835ae7eaa66e4367991402db32ca Mon Sep 17 00:00:00 2001
From: Bernhard Voelk
On Sun, Aug 16, 2015 at 4:12 PM, Bernhard Voelker
wrote:
> Hi Assaf,
>
> On 08/16/2015 11:48 PM, Assaf Gordon wrote:
>> On 08/16/2015 05:27 PM, Bernhard Voelker wrote:
>>> Only 6 out of the 105 man/*.x files have a copyright notice:
>>>
>>>$ git ls-files -- man/*.x | wc -l
>>>105
>>>
>>>
Hi Assaf,
On 08/16/2015 11:48 PM, Assaf Gordon wrote:
> On 08/16/2015 05:27 PM, Bernhard Voelker wrote:
>> Only 6 out of the 105 man/*.x files have a copyright notice:
>>
>>$ git ls-files -- man/*.x | wc -l
>>105
>>
>>$ GIT_PAGER= git grep Copyright -- man/*.x
>>man/chmod.x:'\" Cop
Hello Bernhard,
On 08/16/2015 05:27 PM, Bernhard Voelker wrote:
Only 6 out of the 105 man/*.x files have a copyright notice:
$ git ls-files -- man/*.x | wc -l
105
$ GIT_PAGER= git grep Copyright -- man/*.x
man/chmod.x:'\" Copyright (C) 1998-2015 Free Software Foundation, Inc.
ma
Only 6 out of the 105 man/*.x files have a copyright notice:
$ git ls-files -- man/*.x | wc -l
105
$ GIT_PAGER= git grep Copyright -- man/*.x
man/chmod.x:'\" Copyright (C) 1998-2015 Free Software Foundation, Inc.
man/chown.x:'\" Copyright (C) 1998-2015 Free Software Foundation, Inc.
m