summaryrefslogtreecommitdiff
path: root/Master/tlpkg/installer
diff options
context:
space:
mode:
authorSiep Kroonenberg <siepo@cybercomm.nl>2011-04-07 12:49:51 +0000
committerSiep Kroonenberg <siepo@cybercomm.nl>2011-04-07 12:49:51 +0000
commitc86eae6eafb31a01e822abfc17c31e25d846a9cc (patch)
treeca930cfc6e476a4daa82deb8d3df257fb6865369 /Master/tlpkg/installer
parentc3c44f17a8ee71b0eff3d6c41290d25c0ed6d5d0 (diff)
rename DVD/CD => local-[un]compressed
git-svn-id: svn://tug.org/texlive/trunk@22010 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/installer')
-rwxr-xr-xMaster/tlpkg/installer/install-menu-text-new.pl4
-rwxr-xr-xMaster/tlpkg/installer/install-menu-text.pl4
2 files changed, 4 insertions, 4 deletions
diff --git a/Master/tlpkg/installer/install-menu-text-new.pl b/Master/tlpkg/installer/install-menu-text-new.pl
index 092226643ab..bb97e2b21f3 100755
--- a/Master/tlpkg/installer/install-menu-text-new.pl
+++ b/Master/tlpkg/installer/install-menu-text-new.pl
@@ -73,7 +73,7 @@ sub other_options {
'Q' => 'quit'
);
- $opts{'I'}=$vars{'portable'} ? 'start portable installation' : 'start hd installation';
+ $opts{'I'}=$vars{'portable'} ? 'start portable installation' : 'start installation to hard disk';
print "\nActions:";
if ($options[$#options] eq 'diskspace') {
@@ -1041,7 +1041,7 @@ EOF
}
if ($vars{'portable'}) {
- print "\n <V> set up for regular hd installation\n";
+ print "\n <V> set up for regular installation to hard disk\n";
} else {
print "\n <V> set up for portable installation\n";
}
diff --git a/Master/tlpkg/installer/install-menu-text.pl b/Master/tlpkg/installer/install-menu-text.pl
index bef9921b91e..9807d0f6976 100755
--- a/Master/tlpkg/installer/install-menu-text.pl
+++ b/Master/tlpkg/installer/install-menu-text.pl
@@ -884,7 +884,7 @@ sub do_install {
}
sub dvd_hd_toggle {
- return if !member('DVD', @media_available);
+ return if !member('local_uncompressed', @media_available);
if ($vars{'from_dvd'}) { # set up for hd install:
$vars{'from_dvd'} = 0;
$vars{'TEXDIR'} = $vars{'TEXDIRW'};
@@ -1031,7 +1031,7 @@ EOF
}
}
- if (member('DVD', @media_available)) {
+ if (member('local_uncompressed', @media_available)) {
if ($vars{'from_dvd'}) {
print "\n <V> set up for installing to hard disk\n";
} else {