Messages in this thread |  | | From | Linus Torvalds <> | Date | Sat, 7 Apr 2018 13:36:50 -0700 | Subject | Re: git source files with rw permissions |
| |
On Thu, Apr 5, 2018 at 5:53 PM, Joe Perches <joe@perches.com> 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
|  |