summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/texlive
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2017-04-23 13:21:28 +0000
committerNorbert Preining <preining@logic.at>2017-04-23 13:21:28 +0000
commit674b7ecc21aecb334a882b832a57fb626a7a8112 (patch)
tree88bb6eeb6297744294262731a208bdbe26b73bda /Master/texmf-dist/scripts/texlive
parent3d6fd65e13366ed225a9cab19637d6d85233a0a5 (diff)
tlmgr shell: make sure we restart after self update
git-svn-id: svn://tug.org/texlive/trunk@43990 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/texlive')
-rwxr-xr-xMaster/texmf-dist/scripts/texlive/tlmgr.pl5
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl
index 9d3a10fab0f..042348e8438 100755
--- a/Master/texmf-dist/scripts/texlive/tlmgr.pl
+++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl
@@ -6689,6 +6689,11 @@ sub action_shell {
} else {
print "OK\n";
}
+ # make sure that we restart after having called update --self!
+ if (($cmd eq 'update') && $opts{'self'}) {
+ print "tlmgr has been updated, restarting!\n";
+ exec("tlmgr", @::SAVEDARGV);
+ }
%opts = %savedopts;
} else {
print "ERROR unknown command\n";