diff options
| -rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 15 | ||||
| -rw-r--r-- | Master/tlpkg/TeXLive/TLPDB.pm | 6 |
2 files changed, 21 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); diff --git a/Master/tlpkg/TeXLive/TLPDB.pm b/Master/tlpkg/TeXLive/TLPDB.pm index 4b41110bbdb..902f8e7586f 100644 --- a/Master/tlpkg/TeXLive/TLPDB.pm +++ b/Master/tlpkg/TeXLive/TLPDB.pm @@ -79,6 +79,7 @@ C<TeXLive::TLPDB> -- A database of TeX Live Packages $tlpdb->is_virtual; $tlpdb->virtual_add_tlpdb($tlpdb, $tag); $tlpdb->virtual_remove_tlpdb($tag); + $tlpdb->virtual_get_tags(); $tlpdb->virtual_get_tlpdb($tag); $tlpdb->virtual_get_package($pkg, $tag); $tlpdb->candidates($pkg); @@ -2561,6 +2562,11 @@ sub make_virtual { return 1; } +sub virtual_get_tags { + my $self = shift; + return keys %{$self->{'tlpdbs'}}; +} + sub virtual_get_tlpdb { my ($self, $tag) = @_; if (!$self->is_virtual) { |