Re: git source files with rw permissions

From: Linus Torvalds
Date: Sat Apr 07 2018 - 16:37:31 EST


On Thu, Apr 5, 2018 at 5:53 PM, Joe Perches <joe@xxxxxxxxxxx> wrote:
>
> A trivial script on a clean git tree like:
>
> $ git ls-files -- "*.[chsS]" | \
> xargs ls -la | \
> grep -P "^[^l](?:.{2,2}x|.{5,5}x|.{8,8}x)" | \
> awk '{print $9}'

A simpler version of this is:

git ls-files -s '*.[chsS]' | grep '^100755'

and then you can use 'cut -f2' if you just want the filenames and do
the "xargs chmod" thing.

Which I did, and committed, and just pushed out.

Thanks,
Linus