diff options
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 |