diff options
author | Karl Berry <karl@freefriends.org> | 2022-03-09 22:53:42 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-03-09 22:53:42 +0000 |
commit | e6dadbb4653d288deb7b2e22c3333d9502b4893e (patch) | |
tree | 1c8db9cd7d77dfe5fcab9cba26a3c2c38923f3d8 /Master/tlpkg | |
parent | 040284b2f1916638cf40f364945d5f78c7813d0a (diff) |
doc
git-svn-id: svn://tug.org/texlive/trunk@62571 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rw-r--r-- | Master/tlpkg/installer/install-menu-text.pl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/tlpkg/installer/install-menu-text.pl b/Master/tlpkg/installer/install-menu-text.pl index f5bab546808..a47eb11e467 100644 --- a/Master/tlpkg/installer/install-menu-text.pl +++ b/Master/tlpkg/installer/install-menu-text.pl @@ -967,7 +967,7 @@ sub do_install { if ($vars{'free_size'} > 0 && $vars{'free_size'} + $reserve < $vars{'total_size'}) { print STDERR <<"EOF"; -*** WARNING *************************************************** +*** WARNING **************************************************** The installation requires $vars{'total_size'}M of disk space but only $vars{'free_size'}M is available. @@ -975,8 +975,8 @@ You probably want to either clean up the destination filesystem, or choose a different installation location, or reduce what gets installed. -Press Enter to return to the menu, or type i to install anyway. -*************************************************************** +Press Enter to return to the menu, or i to install anyway. +**************************************************************** EOF my $ans = readline (*STDIN); $doit = 0; |