diff options
| author | Norbert Preining <preining@logic.at> | 2017-08-11 13:06:29 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2017-08-11 13:06:29 +0000 |
| commit | 133dc5bea0d46b25b80e2b76a7447afdf71711e3 (patch) | |
| tree | 0ef78e1217a1720427dcdab373e02e89cbdcdd92 /Master/texmf-dist | |
| parent | f29e4020ca7c40be095b4cbf6c2b434a487a8391 (diff) | |
autoflush and prompts in shell, patch by Siep
git-svn-id: svn://tug.org/texlive/trunk@45018 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
| -rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index e3e1161892b..5874ac52bb7 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -5912,6 +5912,9 @@ sub action_shell { } } print "$default_prompt " if (!$did_prompt); + # to make sure that flushing is done properly, we ship out + # a new line in autoflush mode: + print "\n" if $opts{'autoflush'}; my $ans = <STDIN>; if (!defined($ans)) { # we got Ctrl-D, just break out |