diff options
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Master/install-tl b/Master/install-tl index ae8e3e8606c..b412f17da00 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -141,6 +141,7 @@ our %vars=( # 'n_' means 'number of'. # option handling my $opt_from_dvd = ""; my $opt_gui = 0; +my $opt_ui = "text"; # default UI my $opt_help = 0; my $opt_location = ""; my $opt_no_gui = 0; @@ -179,6 +180,7 @@ GetOptions( "fancyselector" => \$::alternative_selector, "from_dvd" => \$opt_from_dvd, "gui" => \$opt_gui, + "ui=s" => \$opt_ui, "lang=s" => \$::opt_lang, "location|url=s" => \$opt_location, "no-cls", # $::opt_no_cls in install-menu-text-pl @@ -404,9 +406,12 @@ if ($opt_profile eq "") { our $MENU_ABORT = 1; our $MENU_QUIT = 2; our $MENU_ALREADYDONE = 3; - if ($opt_gui && !$opt_no_gui) { - require("installer/install-menu-perltk.pl"); + $opt_ui = "perltk" if ($opt_gui && !$opt_no_gui); + if (-r "tlpkg/installer/install-menu-${opt_ui}.pl") { + require("installer/install-menu-${opt_ui}.pl"); } else { + tlwarn("UI plugin $opt_ui not found,\n"); + tlwarn("Using text mode installer.\n"); require("installer/install-menu-text.pl"); } my $ret = run_menu(); |