diff options
| author | david <public@beloved.name> | 2018-08-07 18:39:26 +0200 |
|---|---|---|
| committer | david <public@beloved.name> | 2018-08-07 18:39:26 +0200 |
| commit | 4c714a566fa46b51a586c35da2588cb4ec823a2e (patch) | |
| tree | 16d61bafddf002efc08d8e5173d310d874cc3a1f | |
| parent | d5355bec6b34f0dcc99d0a48c85030189e4760a2 (diff) | |
FreeAMO: uncommented pv__progress
| -rw-r--r-- | subprojects/freeamo/src/make-wiki | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/freeamo/src/make-wiki b/subprojects/freeamo/src/make-wiki index a491f99..e679bf7 100644 --- a/subprojects/freeamo/src/make-wiki +++ b/subprojects/freeamo/src/make-wiki @@ -212,7 +212,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 +done < "$output_file_2" | pv__progress if [ "$minimum_average_daily_users" == "100000" ]; then |