diff options
author | Norbert Preining <norbert@preining.info> | 2021-04-17 16:45:04 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2021-05-09 10:58:48 +0900 |
commit | 8014fdc7b2e10a36f9b11ba6e3c848db2562d84d (patch) | |
tree | 0acc640c0abd99da005d3f77998a892dd7bbd704 | |
parent | ce4684a048ca7fdc6af3088366e4a5dbe517bf1a (diff) |
tlmgr: log run commands (without output) to tlmgr.log
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index 8d3430ec74e..ee968a6822b 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -828,6 +828,7 @@ sub do_cmd_and_check { # and show it to the user before the possibly long delay. info("running $cmd ...\n"); logcommand("running $cmd"); + logpackage("running $cmd"); my ($out, $ret); if ($opts{"dry-run"}) { $ret = $F_OK; |