From b669d87901d87db4671e0fc173540ef17b914464 Mon Sep 17 00:00:00 2001 From: Reinhard Kotucha Date: Sat, 5 Apr 2008 17:43:27 +0000 Subject: M Master/install-tl.pl: --no-gui option added. git-svn-id: svn://tug.org/texlive/trunk@7325 c570f23f-e606-0410-a88d-b1316a301751 --- Master/install-tl.pl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'Master/install-tl.pl') 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"); -- cgit v1.2.3