diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/install-tl.pl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/install-tl.pl b/Master/install-tl.pl index bbc64d01185..eacb96f6726 100755 --- a/Master/install-tl.pl +++ b/Master/install-tl.pl @@ -136,6 +136,7 @@ my $opt_url = ""; my $opt_profile = ""; my $opt_no_cls=0; my $opt_gui = 0; +my $opt_nogui = 0; my $opt_debug = 0; my $opt_ddebug = 0; my $opt_dddebug = 0; @@ -154,6 +155,7 @@ GetOptions("media=s" => \$opt_media, "profile=s"=> \$opt_profile, "no-cls", "gui", \$opt_gui, + "no-gui", \$opt_nogui, "netarchive=s" => \$NetArchive, "diskarchive=s" => \$DiskArchive, "lang=s" => \$::opt_lang, @@ -322,7 +324,7 @@ if ($opt_profile eq "") { our $MENU_ABORT = 1; our $MENU_QUIT = 2; our $MENU_ALREADYDONE = 3; - if ($opt_gui) { + if ($opt_gui && !$opt_nogui) { # try to load Tk.pm, but don't die if it doesn't work eval { require Tk; }; if ($@) { @@ -334,7 +336,7 @@ if ($opt_profile eq "") { $opt_gui = 0; } } - if ($opt_gui) { + if ($opt_gui && !$opt_nogui) { require("installer/install-menu-perltk.pl"); } else { require("installer/install-menu-text.pl"); |