summaryrefslogtreecommitdiff
path: root/Master/install-tl.pl
diff options
context:
space:
mode:
Diffstat (limited to 'Master/install-tl.pl')
-rwxr-xr-xMaster/install-tl.pl6
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");