summaryrefslogtreecommitdiff
path: root/Master/install-tl.pl
diff options
context:
space:
mode:
authorReinhard Kotucha <reinhard.kotucha@web.de>2008-04-05 17:43:27 +0000
committerReinhard Kotucha <reinhard.kotucha@web.de>2008-04-05 17:43:27 +0000
commitb669d87901d87db4671e0fc173540ef17b914464 (patch)
tree8744cc0c7c9893c3f6a89d726582c9275cb5d5cb /Master/install-tl.pl
parent95d9bfc84f798b8e5bf56ee19fa3ac42bc4d1649 (diff)
M Master/install-tl.pl: --no-gui option added.
git-svn-id: svn://tug.org/texlive/trunk@7325 c570f23f-e606-0410-a88d-b1316a301751
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");