diff options
| author | Paul Buetow <paul@buetow.org> | 2022-07-30 11:55:38 +0100 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2022-07-30 11:55:38 +0100 |
| commit | 0064164a5e5e3435cf2a7fb484be9761fc974691 (patch) | |
| tree | b7dea8354f43ce722180a04486ac928cbfd22210 /lib | |
| parent | a2e70af791382c5b90c04588ef1f767e433e4d08 (diff) | |
rewording and actually add filter code
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/generate.source.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/generate.source.sh b/lib/generate.source.sh index b2dafbc..f72f84b 100644 --- a/lib/generate.source.sh +++ b/lib/generate.source.sh @@ -124,6 +124,11 @@ generate::fromgmi () { # Add content while read -r src; do + # User can specify a content filter + if test ! -z "$CONTENT_FILTER" && ! $GREP -q "$CONTENT_FILTER" <<< "$src"; then + continue + fi + num_gmi_files=$(( num_gmi_files + 1 )) log INFO "Generating output formats from $src" for format in "$@"; do |