summaryrefslogtreecommitdiff
path: root/Master/install-tl
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2008-10-13 22:02:47 +0000
committerNorbert Preining <preining@logic.at>2008-10-13 22:02:47 +0000
commit6fac22c6ae9ee351baace0b28feec5db25d71b81 (patch)
tree07e185ca97039c6f346edb5033af435fc6c52755 /Master/install-tl
parent35134312cc70a867e41c3f2b1eeffaa456febcd2 (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-xMaster/install-tl5
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