diff options
author | Norbert Preining <preining@logic.at> | 2008-10-13 22:02:47 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2008-10-13 22:02:47 +0000 |
commit | 6fac22c6ae9ee351baace0b28feec5db25d71b81 (patch) | |
tree | 07e185ca97039c6f346edb5033af435fc6c52755 /Master/install-tl | |
parent | 35134312cc70a867e41c3f2b1eeffaa456febcd2 (diff) |
implement seeding in install-tl
git-svn-id: svn://tug.org/texlive/trunk@10957 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl index 99591eb5060..77cd894899a 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -141,6 +141,7 @@ our %vars=( # 'n_' means 'number of'. my $opt_from_dvd = ""; my $opt_location = ""; my $opt_profile = ""; +my $opt_seed = ""; my $opt_no_cls=0; my $opt_nogui = 0; my $opt_nonadmin = 0; @@ -174,6 +175,7 @@ process_logging_options(); GetOptions( "from_dvd" => \$opt_from_dvd, "profile=s"=> \$opt_profile, + "seed=s" => \$opt_seed, "no-cls", "gui", \$opt_gui, "no-gui", \$opt_nogui, @@ -380,6 +382,9 @@ set_texlive_default_dirs(); initialize_collections(); set_install_platform(); if ($opt_profile eq "") { + if ($opt_seed) { + read_profile("$opt_seed"); + } # do the normal interactive installation! # # here we could load different menu systems. Currently several things |