diff options
author | Fabian Kirchner <kirchner@posteo.de> | 2023-09-27 14:17:21 +0200 |
---|---|---|
committer | Fabian Kirchner <kirchner@posteo.de> | 2023-09-27 14:19:37 +0200 |
commit | a196383fbece635c19c680fa159e63b866e44c6b (patch) | |
tree | 0cd3a445d264ec783f5c3782b5f2694029fc69b3 | |
parent | 3571f0454f3c9c06c3ac2ef321dae03775daaf16 (diff) |
use git ls-files to get list of files to look for issues
-rwxr-xr-x | src/extract.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/extract.sh b/src/extract.sh index 07eac37..2584552 100755 --- a/src/extract.sh +++ b/src/extract.sh @@ -2,9 +2,7 @@ set -efu -input_dir=${1-$PWD} - -find "$input_dir" -type f | grep -Pv '/\.|~$' | +git ls-files --cached --exclude-standard --other | while read -r input_file; do # TODO Add support for all tree-grepper supported files # |