diff options
author | Norbert Preining <preining@logic.at> | 2008-10-13 22:14:22 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2008-10-13 22:14:22 +0000 |
commit | 5c4177296bc1b7949f39275b76cc1e8b7d8e22b1 (patch) | |
tree | 0e0ce3ba1083dce288a1d7dfb89514fd44aaf853 /Master/install-tl | |
parent | 6fac22c6ae9ee351baace0b28feec5db25d71b81 (diff) |
install-tl -seed => -profile-seed
git-svn-id: svn://tug.org/texlive/trunk@10958 c570f23f-e606-0410-a88d-b1316a301751
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! # |