From 4d8a5b4dab50b791e3f0f1af33444a62d999b889 Mon Sep 17 00:00:00 2001 From: marchersimon <50295997+marchersimon@users.noreply.github.com> Date: Sun, 17 Oct 2021 18:09:37 +0200 Subject: [PATCH] tlmgr-option: add page (#6576) --- pages/common/tlmgr-option.md | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 pages/common/tlmgr-option.md diff --git a/pages/common/tlmgr-option.md b/pages/common/tlmgr-option.md new file mode 100644 index 0000000000..4b2956e0ae --- /dev/null +++ b/pages/common/tlmgr-option.md @@ -0,0 +1,28 @@ +# tlmgr option + +> TeX Live settings manager. +> More information: . + +- 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}}`