summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2021-04-22 00:44:52 +0000
committerNorbert Preining <preining@logic.at>2021-04-22 00:44:52 +0000
commit72ab0ce81ad3898fdc39ea204928c0ff63bc8c64 (patch)
tree24c96a06552385328807facd762af143f4fddf38
parent3105a76af00cc9607c4af171a0a099d1c1acc63a (diff)
tlmgr: inform if commands.log is updated.
git-svn-id: svn://tug.org/texlive/trunk@58950 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/texmf-dist/scripts/texlive/tlmgr.pl15
1 files changed, 12 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl
index f2208dfb4a4..f65226a1d9e 100755
--- a/Master/texmf-dist/scripts/texlive/tlmgr.pl
+++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl
@@ -24,6 +24,7 @@ our $Master;
our $loadmediasrcerror;
our $packagelogfile;
our $packagelogged;
+our $commandslogged;
our $commandlogfile;
our $tlmgr_config_file;
our $pinfile;
@@ -632,6 +633,7 @@ for the full story.\n";
# package related actions (install, remove, update) to
# the package-log file TEXMFSYSVAR/web2c/tlmgr.log
$packagelogged = 0; # how many msgs we logged
+ $commandslogged = 0;
chomp (my $texmfsysvar = `kpsewhich -var-value=TEXMFSYSVAR`);
$packagelogfile = $opts{"package-logfile"};
if ($opts{"usermode"}) {
@@ -699,9 +701,15 @@ for the full story.\n";
my $ret = execute_action($action, @ARGV);
# close the special log file
- if ($packagelogfile && !$::gui_mode) {
- info("$prg: package log updated: $packagelogfile\n") if $packagelogged;
- close(PACKAGELOG);
+ if (!$::gui_mode) {
+ if ($packagelogfile) {
+ info("$prg: package log updated: $packagelogfile\n") if $packagelogged;
+ close(PACKAGELOG);
+ }
+ if ($commandlogfile) {
+ info("$prg: command log updated: $commandlogfile\n") if $commandslogged;
+ close(COMMANDLOG);
+ }
}
# F_ERROR stops processing immediately, and prevents postactions from
@@ -7512,6 +7520,7 @@ sub logpackage {
}
sub logcommand {
if ($commandlogfile) {
+ $commandslogged++;
my $tim = localtime();
print COMMANDLOG "[$tim] @_\n";
}