diff options
author | Karl Berry <karl@freefriends.org> | 2013-06-28 18:23:37 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-06-28 18:23:37 +0000 |
commit | 18a4ea508b440ebd61e95a0614f082e7b16b83ea (patch) | |
tree | f2ea3e4ef13a15abb4b444603407dca7e33984bb /Master/tlpkg/installer | |
parent | 97563961f0a0cf8f999ccd4a03283c7769955c9f (diff) |
recognize and die on rsync urls; other doc and text tweaks
git-svn-id: svn://tug.org/texlive/trunk@31004 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/installer')
-rwxr-xr-x | Master/tlpkg/installer/install-menu-text.pl | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/Master/tlpkg/installer/install-menu-text.pl b/Master/tlpkg/installer/install-menu-text.pl index 11f76ad8f5c..ddaad3537ff 100755 --- a/Master/tlpkg/installer/install-menu-text.pl +++ b/Master/tlpkg/installer/install-menu-text.pl @@ -212,14 +212,18 @@ sub run_menu_text { } } } + # run remote init if (!do_remote_init($::init_remote_needed)) { - print "Please select a different mirror! Press Enter to continue."; - $ans = readline(*STDIN); - run_menu_text(@args); + warn "\n"; + warn "Please select a different mirror! See info above.\n"; + print STDERR "Press Enter to exit... "; + $ans = readline (*STDIN); + exit (1); } - # the text mode installer does not take interest in any argument - # but the -old-installation-found + + # the text mode installer does not take look at any argument + # except -old-installation-found. while (@args) { my $f = shift @args; if ($f =~ m/^-old-installation-found=(.*)$/) { |