[PATCH 6/8] git-remote-mediawiki: show progress information when listing pages
- From
Matthieu Moy <matthieu.moy@imag.fr>
- Date
- Jul 16, 2012, 12:00 UTC
- Message-ID
- <1342440053-3058-7-git-send-email-Matthieu.Moy@imag.fr>
- In-Reply-To
- <1342440053-3058-1-git-send-email-Matthieu.Moy@imag.fr>
Initial phases of push and pull with git-remote-mediawiki can be long on a large wiki. Let the user know what's going on.
Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr> --- contrib/mw-to-git/git-remote-mediawiki | 3 +++ 1 file changed, 3 insertions(+)
diff --git a/contrib/mw-to-git/git-remote-mediawiki b/contrib/mw-to-git/git-remote-mediawiki index f56f9b0..755c9d0 100755 --- a/contrib/mw-to-git/git-remote-mediawiki +++ b/contrib/mw-to-git/git-remote-mediawiki @@ -371,6 +371,8 @@ sub get_mw_first_pages { sub get_mw_pages { mw_connect_maybe(); + print STDERR "Listing pages on remote wiki...\n"; + my %pages; # hash on page titles to avoid duplicates my $user_defined; if (@tracked_pages) { @@ -394,6 +396,7 @@ sub get_mw_pages { get_all_mediafiles(\%pages); } } + print STDERR (scalar keys %pages) . " pages found.\n"; return %pages; }
-- 1.7.11.1.30.g7e1baf9.dirty