diff options
-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"; |