diff options
| -rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index a63741af265..6410f2e6dc4 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -6625,8 +6625,16 @@ sub action_shell { init_local_db(); print "OK\n"; } elsif ($what eq "remote") { - init_tlmedia_or_die(); - print "OK\n"; + my ($ret, $err) = init_tlmedia(); + if ($ret) { + print("OK\n"); + } else { + if ($::machinereadable) { + # replace \n with \\n to get single line + $err =~ s/\n/\\n/g; + } + print("ERROR $err\n"); + } } else { print "ERROR can only load 'local' or 'remote', not $what\n"; } |