1
0
Fork 0
mirror of https://github.com/tldr-pages/tldr.git synced 2025-09-10 14:53:59 +02:00

tlmgr-option: add page (#6576)

This commit is contained in:
marchersimon 2021-10-17 18:09:37 +02:00 committed by GitHub
parent 712f84746a
commit 4d8a5b4dab
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -0,0 +1,28 @@
# tlmgr option
> TeX Live settings manager.
> More information: <https://www.tug.org/texlive/tlmgr.html>.
- 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}}`