summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/texmf-dist/scripts/texlive/tlmgr.pl3
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