diff options
| author | Norbert Preining <preining@logic.at> | 2017-04-23 13:21:28 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2017-04-23 13:21:28 +0000 |
| commit | 674b7ecc21aecb334a882b832a57fb626a7a8112 (patch) | |
| tree | 88bb6eeb6297744294262731a208bdbe26b73bda | |
| parent | 3d6fd65e13366ed225a9cab19637d6d85233a0a5 (diff) | |
tlmgr shell: make sure we restart after self update
git-svn-id: svn://tug.org/texlive/trunk@43990 c570f23f-e606-0410-a88d-b1316a301751
| -rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 5 |
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"; |