diff options
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index 86d4eb3f068..e7a684103dc 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -4384,7 +4384,10 @@ sub action_platform { } print "Already installed platforms are marked with (i)\n"; print "You can add new platforms with: tlmgr platform add PLAT1 PLAT2...\n"; + print "You can remove platforms with: tlmgr platform remove PLAT1 PLAT2...\n"; + print "You can set the active platform with: tlmgr platform set PLAT\n"; return ($F_OK | $F_NOPOSTACTION); + } elsif ($what =~ m/^add$/i) { return ($F_ERROR) if !check_on_writable(); init_tlmedia_or_die(); @@ -4397,7 +4400,7 @@ sub action_platform { next; } if (!TeXLive::TLUtils::member($a, @available_arch)) { - info("Platform $a not available, use 'tlmgr platform list'!\n"); + info("Platform $a not available; see tlmgr platform list\n"); next; } push @todoarchs, $a; @@ -4442,6 +4445,7 @@ sub action_platform { $localtlpdb->setting("available_architectures",@larchs); $localtlpdb->save; } + } elsif ($what =~ m/^remove$/i) { return ($F_ERROR) if !check_on_writable(); my @already_installed_arch = $localtlpdb->available_architectures; @@ -4491,7 +4495,7 @@ sub action_platform { # try to remove bin/$a dirs for my $a (@todoarchs) { if (!rmdir("$Master/bin/$a")) { - tlwarn("$prg: binary directory $Master/bin/$a not empty after removal of $a.\n"); + tlwarn("$prg: failed to rmdir $Master/bin/$a: $!\n"); $ret |= $F_WARNING; } } @@ -4504,6 +4508,7 @@ sub action_platform { $localtlpdb->setting("available_architectures",@newarchs); $localtlpdb->save; } + } elsif ($what =~ m/^set$/i) { return if !check_on_writable(); my $arg = shift @ARGV; |