diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index 79363c66f77..b33a8dfb32c 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -65,13 +65,22 @@ my $opt_help = 0; my $opt_debug = 0; my $opt_netarchive; my $opt_diskarchive; +my $opt_gui = 0; GetOptions("location=s" => \$opt_location, "netarchive=s" => \$opt_netarchive, "diskarchive=s" => \$opt_diskarchive, + "gui" => \$opt_gui, "debug!", "h|help|?" => \$opt_help) or pod2usage(1); -my $action = shift; +my $action; +if ($opt_gui) { + $action = "gui"; + # ignore all other things +} else { + $action = shift; +} + if (!defined($action) && !$opt_help) { print "missing action\ntry 'tlmgr help' for more information.\n"; exit 1; |