-- Leo's gemini proxy
-- Connecting to freeshell.de:1965...
-- Connected
-- Sending request
-- Meta line: 20 text/gemini;lang=en-GB
> Manage TeX Live platforms.
List all available platforms in the package repository:
tlmgr platform list
Add the executables for a specific platform:
sudo tlmgr platform add {platform}
Remove the executables for a specific platform:
sudo tlmgr platform remove {platform}
Auto-detect and switch to the current platform:
sudo tlmgr platform set {auto}
Switch to a specific platform:
sudo tlmgr platform set {platform}
> Copyright © 2014—present the tldr-pages team and contributors.
> This work is licensed under the Creative Commons Attribution 4.0 International License (CC-BY).
-- Response ended
-- Page fetched on Tue May 21 04:17:23 2024