diff options
author | Reinhard Kotucha <reinhard.kotucha@web.de> | 2008-04-05 17:43:27 +0000 |
---|---|---|
committer | Reinhard Kotucha <reinhard.kotucha@web.de> | 2008-04-05 17:43:27 +0000 |
commit | b669d87901d87db4671e0fc173540ef17b914464 (patch) | |
tree | 8744cc0c7c9893c3f6a89d726582c9275cb5d5cb /Master | |
parent | 95d9bfc84f798b8e5bf56ee19fa3ac42bc4d1649 (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')
-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"); |