diff options
author | Norbert Preining <preining@logic.at> | 2008-06-16 10:31:27 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2008-06-16 10:31:27 +0000 |
commit | 45b87b0f5d2161405018f17d107da13d30b8f8d1 (patch) | |
tree | 25fbb9f3a01ba4790078edf74ccf7135c35d955e /Master | |
parent | 7be4565072f056af1945fc8c40546ddee7d454f1 (diff) |
tlmgrgui: new cmd line arg --load to load the tlpdb immediately, and use
it in tlmgr.pl for install and update screen calls
git-svn-id: svn://tug.org/texlive/trunk@8776 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 3 | ||||
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui-real.pl | 6 |
2 files changed, 8 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index 9da41157303..6a5f8177548 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -919,6 +919,9 @@ sub action_gui { push @cmdline, "--diskarchive", "$opt_diskarchive" if (defined($opt_diskarchive)); if (defined($screen)) { + if (($screen eq "install") || ($screen eq "update")) { + push @cmdline, "--load"; + } push @cmdline, "--screen", $screen; } exec $perlbin @cmdline; diff --git a/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui-real.pl b/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui-real.pl index ed04131e2e5..342ee08097b 100755 --- a/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui-real.pl +++ b/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui-real.pl @@ -132,6 +132,7 @@ my $opt_debug = 0; my $opt_netarchive; my $opt_diskarchive; my $opt_screen; +my $opt_load = 0; our $opt_force = 0; our $opt_nodepends = 0; my $opt_lang; @@ -141,6 +142,7 @@ GetOptions("location=s" => \$opt_location, "diskarchive=s" => \$DiskArchive, "screen=s" => \$opt_screen, "force" => \$opt_force, + "load" => \$opt_load, "lang=s" => \$opt_lang, "no-depends" => \$opt_nodepends, "debug!" => \$opt_debug) or die("Unsupported argument!"); @@ -312,7 +314,9 @@ if (!win32()) { # config screen require("gui-config.pl"); -# run_update_functions(); +if ($opt_load) { + run_update_functions(); +} if (defined($opt_screen)) { $back->raise("$opt_screen"); |