summaryrefslogtreecommitdiff
path: root/Master/texmf-dist
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist')
-rwxr-xr-xMaster/texmf-dist/scripts/texlive/tlmgr.pl15
1 files changed, 15 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl
index 6d9e7528bd8..48ea6683d5a 100755
--- a/Master/texmf-dist/scripts/texlive/tlmgr.pl
+++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl
@@ -4545,6 +4545,21 @@ sub action_repository {
$localtlpdb->save;
return ($F_OK);
}
+ if ($what eq "status") {
+ if (!defined($remotetlpdb)) {
+ init_tlmedia_or_die();
+ }
+ if (!$remotetlpdb->is_virtual) {
+ print "main: ", $remotetlpdb->location, ", verification status: ", $remotetlpdb->is_verified, "\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";
+ }
+ return($F_OK);
+ }
+ }
# we are still here, unknown command to repository
tlwarn("$prg: unknown subaction for tlmgr repository: $what\n");
return ($F_ERROR);