HiveBrain v1.2.0
Get Started
← Back to all entries
snippetbashTip

tlmgr option — TeX Live settings manager. More information: <https://www.tug.org/texlive/doc/tlmgr.html#option>.

Submitted by: @import:tldr-pages··
0
Viewed 0 times
clitlmgr optioncommand-linetldr
tlmgr optioncommandtexliveclisettingsmoremanager

Problem

How to use the tlmgr option command: TeX Live settings manager. More information: <https://www.tug.org/texlive/doc/tlmgr.html#option>.

Solution

tlmgr option — TeX Live settings manager. More information: <https://www.tug.org/texlive/doc/tlmgr.html#option>.

List all TeX Live settings:
tlmgr option showall


List all currently set Tex Live settings:
tlmgr option show


Print all TeX Live settings in JSON format:
tlmgr option showall --json


Show the value of a specific TeX Live setting:
tlmgr option {{setting}}


Modify the value of a specific TeX Live setting:
tlmgr option {{setting}} {{value}}


Set TeX Live to get future updates from the internet after installing from DVD:
tlmgr option {{repository}} {{https://mirror.ctan.org/systems/texlive/tlnet}}

Code Snippets

List all TeX Live settings

tlmgr option showall

List all currently set Tex Live settings

tlmgr option show

Print all TeX Live settings in JSON format

tlmgr option showall --json

Show the value of a specific TeX Live setting

tlmgr option {{setting}}

Modify the value of a specific TeX Live setting

tlmgr option {{setting}} {{value}}

Context

tldr-pages: common/tlmgr option

Revisions (0)

No revisions yet.