diff options
| author | Jan Tuomi <jan@jantuomi.fi> | 2025-11-13 13:55:12 +0200 |
|---|---|---|
| committer | Jan Tuomi <jan@jantuomi.fi> | 2025-11-13 13:55:12 +0200 |
| commit | be56ec792f3d9a9ba55202386decf7529e028d0d (patch) | |
| tree | 8e468a9f43be63df7ee6902c432ff9fc7b8ca65f /tools | |
| parent | 265308a0d9e29e3af9be1e762252f4bd932627df (diff) | |
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/filter | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/filter b/tools/filter index 1c927be..0d27b9b 100755 --- a/tools/filter +++ b/tools/filter @@ -19,9 +19,11 @@ while IFS=$'\n' read -r line; do j=$((j+1)) done + set +e IDX=$i ELEM="$line" eval "test $1" if [ $? -eq 0 ]; then echo "$line" fi + set -e i=$((i+1)) done |