summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2008-10-13 22:14:22 +0000
committerNorbert Preining <preining@logic.at>2008-10-13 22:14:22 +0000
commit5c4177296bc1b7949f39275b76cc1e8b7d8e22b1 (patch)
tree0e0ce3ba1083dce288a1d7dfb89514fd44aaf853
parent6fac22c6ae9ee351baace0b28feec5db25d71b81 (diff)
install-tl -seed => -profile-seed
git-svn-id: svn://tug.org/texlive/trunk@10958 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/install-tl8
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!
#