diff options
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index 48ea6683d5a..45400e016f4 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -4550,12 +4550,18 @@ sub action_repository { init_tlmedia_or_die(); } if (!$remotetlpdb->is_virtual) { - print "main: ", $remotetlpdb->location, ", verification status: ", $remotetlpdb->is_verified, "\n"; + my $verstat = $remotetlpdb->verification_status; + print "main ", $remotetlpdb->location, " ", + ($::machinereadable ? "$verstat " : ""), + $VerificationStatusDescription{$verstat}, "\n"; return ($F_OK); } else { for my $t ($remotetlpdb->virtual_get_tags()) { my $tlpdb = $remotetlpdb->virtual_get_tlpdb($t); - print "$t: ", $tlpdb->location, ", verification status: ", $tlpdb->is_verified, "\n"; + my $verstat = $tlpdb->verification_status; + print "$t ", $tlpdb->location, " ", + ($::machinereadable ? "$verstat " : ""), + $VerificationStatusDescription{$verstat}, "\n"; } return($F_OK); } |