summaryrefslogtreecommitdiff
path: root/Master/texmf
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf')
-rwxr-xr-xMaster/texmf/scripts/texlive/tlmgr.pl29
1 files changed, 29 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl
index 37ddfe81a1f..769b9e4aacc 100755
--- a/Master/texmf/scripts/texlive/tlmgr.pl
+++ b/Master/texmf/scripts/texlive/tlmgr.pl
@@ -4049,6 +4049,23 @@ sub action_platform {
$localtlpdb->setting("available_architectures",@newarchs);
$localtlpdb->save;
}
+ } elsif ($what =~ m/^set$/i) {
+ return if !check_on_writable();
+ my $arg = shift @ARGV;
+ die "Missing argument to platform set" unless defined($arg);
+ my @already_installed_arch = $localtlpdb->available_architectures;
+ if ($arg =~ m/^auto$/i) {
+ info("Setting platform detection to auto mode.\n");
+ $localtlpdb->setting('-clear', 'platform');
+ $localtlpdb->save;
+ } else {
+ if (!TeXLive::TLUtils::member($arg, @already_installed_arch)) {
+ tlwarn("cannot set platform to a not installed one.\n");
+ return;
+ }
+ $localtlpdb->setting('platform', $arg);
+ $localtlpdb->save;
+ }
} else {
die "Unknown option for platform: $what";
}
@@ -6438,6 +6455,10 @@ those extra settings at present.
=head2 platform list|add|remove I<platform>...
+=head2 platform set I<platform>
+
+=head2 platform set auto
+
C<platform list> lists the TeX Live names of all the platforms
(a.k.a. architectures), (C<i386-linux>, ...) available at the package
repository.
@@ -6449,6 +6470,14 @@ C<platform remove> I<platform>... removes the executables for each given
platform I<platform> from the installation, but keeps the currently
running platform in any case.
+C<platform set> I<platform> switches TeX Live to always use the given
+platform instead of auto detection.
+
+C<platform set auto> switches TeX Live to auto detection mode for platform.
+
+Platform detection is needed to select the proper C<xz>, C<xzdec> and
+C<wget> binaries that are shipped with TeX Live.
+
C<arch> is a synonym for C<platform>.
Options: