diff options
author | Norbert Preining <preining@logic.at> | 2011-09-17 07:40:33 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2011-09-17 07:40:33 +0000 |
commit | 03fe8266f35acb30b86416f4c561943d568448f9 (patch) | |
tree | 5abae246f749745c8e08b074f3111f7e260ee182 /Master/tlpkg/installer/install-menu-text.pl | |
parent | e13715544ca359147db6341e6fdab863420608ab (diff) |
installer and mirror selection
- don't show the terminal /systems/texlive/tlnet
- allow for reselection in case of load failure
git-svn-id: svn://tug.org/texlive/trunk@23990 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/installer/install-menu-text.pl')
-rwxr-xr-x | Master/tlpkg/installer/install-menu-text.pl | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Master/tlpkg/installer/install-menu-text.pl b/Master/tlpkg/installer/install-menu-text.pl index 082b3519a69..4a4f64dab42 100755 --- a/Master/tlpkg/installer/install-menu-text.pl +++ b/Master/tlpkg/installer/install-menu-text.pl @@ -134,7 +134,7 @@ sub run_menu_text { } } print "----\n"; - print "[0] default mirror - http://mirror.ctan.org\n"; + print "[0] default mirror http://mirror.ctan.org\n"; my $local_ind = "a"; if ($#media_available >= 0) { print "Local repositories:\n"; @@ -214,7 +214,11 @@ sub run_menu_text { } } # run remote init - do_remote_init($::init_remote_needed); + if (!do_remote_init($::init_remote_needed)) { + print "Please select a different mirror! Press Enter to continue."; + $ans = readline(*STDIN); + run_menu_text(@args); + } # the text mode installer does not take interest in any argument # but the -old-installation-found while (@args) { |