diff options
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 |