diff options
author | Norbert Preining <preining@logic.at> | 2007-12-11 09:28:45 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2007-12-11 09:28:45 +0000 |
commit | 3f07a59210d8f1223e3cddd1f4c9d590c5384be0 (patch) | |
tree | d42de70c8d4331aefcfe5418cff75cd7d815dafa /Master | |
parent | 37b7cb7eea8fc103362a7b4f0ea5cc1412f1293a (diff) |
spit out more reasonable header at installation time
git-svn-id: svn://tug.org/texlive/trunk@5756 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/install-tl.pl | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Master/install-tl.pl b/Master/install-tl.pl index 4774b32f2e1..07ef77233e5 100755 --- a/Master/install-tl.pl +++ b/Master/install-tl.pl @@ -128,7 +128,16 @@ my $localtlpdb; my $system_tmpdir=get_system_tmpdir(); print "Platform: ", platform, " => \'", platform_desc(platform), "\'\n"; -print "Media: ", media, "\n"; +print "Distribution: "; +if (media() eq "DVD") { + print "live (uncompressed)\n"; +} elsif (media() eq "CD") { + print "inst (compressed)\n"; +} elsif (media() eq "NET") { + print "net (downloading)\n"; +} else { + print media(), "\n"; +} print "Directory for Temporary Files: '", $system_tmpdir, "\'\n"; print "Installer Directory: '$::installerdir'\n"; |