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/make-wiki | |
| parent | ef454290322d19fadc4525b7ccf0338683c9ef5b (diff) | |
Updated FreeAMO: if ! ; then echo foo; fi # for pv
Diffstat (limited to 'subprojects/freeamo/src/make-wiki')
| -rw-r--r-- | subprojects/freeamo/src/make-wiki | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/subprojects/freeamo/src/make-wiki b/subprojects/freeamo/src/make-wiki index 657430d..3b7019b 100644 --- a/subprojects/freeamo/src/make-wiki +++ b/subprojects/freeamo/src/make-wiki @@ -214,9 +214,7 @@ at https://addons.mozilla.org/en-US/firefox/addon/adblock-plus/ fi if ! $debug; then echo "foo"; fi # for pv -done < "$output_file_2" # | pv__progress -# End template - +done < "$output_file_2" | pv__progress if [ "$minimum_average_daily_users" == "100000" ]; then |