development/git
development/git
1
0
Fork 0
mirror of https://github.com/git/git synced 2024-08-28 03:59:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

git-remote-mediawiki: show progress information when listing pages

Browse source 
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>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
Matthieu Moy 2012-07-16 21:46:40 +02:00 committed by Junio C Hamano
parent 5c481745fb
commit f690ddfdb7
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
contrib/mw-to-git/git-remote-mediawiki
View file

@ -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;
}