💾 Archived View for freeshell.de › tldr › tlmgr-platform.gmi captured on 2023-06-14 at 15:18:57. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2022-04-28)
-=-=-=-=-=-=-
Manage TeX Live platforms.
tlmgr platform list
sudo tlmgr platform add {platform}
sudo tlmgr platform remove {platform}
sudo tlmgr platform set {auto}
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).