diff options
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Master/install-tl b/Master/install-tl index 77cd894899a..9d7cba91e05 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -141,7 +141,7 @@ our %vars=( # 'n_' means 'number of'. my $opt_from_dvd = ""; my $opt_location = ""; my $opt_profile = ""; -my $opt_seed = ""; +my $opt_profileseed = ""; my $opt_no_cls=0; my $opt_nogui = 0; my $opt_nonadmin = 0; @@ -175,7 +175,7 @@ process_logging_options(); GetOptions( "from_dvd" => \$opt_from_dvd, "profile=s"=> \$opt_profile, - "seed=s" => \$opt_seed, + "profile-seed=s" => \$opt_profileseed, "no-cls", "gui", \$opt_gui, "no-gui", \$opt_nogui, @@ -382,8 +382,8 @@ set_texlive_default_dirs(); initialize_collections(); set_install_platform(); if ($opt_profile eq "") { - if ($opt_seed) { - read_profile("$opt_seed"); + if ($opt_profileseed) { + read_profile("$opt_profileseed"); } # do the normal interactive installation! # |