diff options
| author | david <public@beloved.name> | 2018-07-26 23:01:50 +0200 |
|---|---|---|
| committer | david <public@beloved.name> | 2018-07-26 23:01:50 +0200 |
| commit | 931df51d9354e0c67e7329096de86411270a5db7 (patch) | |
| tree | 8378c0c0f2896ff7a89af0b4a1f0965b1ab7d6bf /subprojects/freeamo/src/search-pages | |
| parent | ef454290322d19fadc4525b7ccf0338683c9ef5b (diff) | |
Updated FreeAMO: if ! ; then echo foo; fi # for pv
Diffstat (limited to 'subprojects/freeamo/src/search-pages')
| -rw-r--r-- | subprojects/freeamo/src/search-pages | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/subprojects/freeamo/src/search-pages b/subprojects/freeamo/src/search-pages index 603c750..22f293a 100644 --- a/subprojects/freeamo/src/search-pages +++ b/subprojects/freeamo/src/search-pages @@ -88,7 +88,7 @@ function search-pages--download() { if [ ! "$pv__discard" = true ]; then - echo "foo" # Must be here to work with pv + if ! $debug; then echo "foo"; fi # for pv fi @@ -130,10 +130,8 @@ function search-pages--filter() { done - echo "$filename" + if ! $debug; then echo "foo"; fi # for pv - - echo "foo" # Must be here to work with pv done | pv__progress } |