diff options
Diffstat (limited to 'Master')
| -rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index 3974750c22b..19021ed0ee8 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -3489,7 +3489,10 @@ FROZEN "$Master/$InfraLocation/texlive.tlpdb.$loc_digest"; my $tlfh; if (!open($tlfh, ">:unix", $loc_copy_of_remote_tlpdb)) { - tlwarn("Cannot save remote TeX Live database to $loc_copy_of_remote_tlpdb: $!\n"); + # that should be only a debug statement, since a user without + # write permission might have done a tlmgr search --global or + # similar + &debug("Cannot save remote TeX Live database to $loc_copy_of_remote_tlpdb: $!\n"); } else { &debug("writing out tlpdb to $loc_copy_of_remote_tlpdb\n"); $tlmediatlpdb->writeout($tlfh); |