From f1792178bdbe4d0c3c101d06ac8981c13ea92e65 Mon Sep 17 00:00:00 2001 From: marchersimon <50295997+marchersimon@users.noreply.github.com> Date: Mon, 1 Aug 2022 15:32:44 +0200 Subject: [PATCH] tlmgr-conf: add page (#8188) --- pages/common/tlmgr-conf.md | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 pages/common/tlmgr-conf.md diff --git a/pages/common/tlmgr-conf.md b/pages/common/tlmgr-conf.md new file mode 100644 index 000000000..cb67b3dfe --- /dev/null +++ b/pages/common/tlmgr-conf.md @@ -0,0 +1,32 @@ +# tlmgr conf + +> Manage the TeX Live configuration. +> More information: . + +- Show the current TeX Live configuration: + +`tlmgr conf` + +- Show the current `texmf`, `tlmgr`, or `updmap` configuration: + +`tlmgr conf {{texmf|tlmgr|updmap}}` + +- Show only a specific configuration option: + +`tlmgr conf {{texmf|tlmgr|updmap}} {{configuration_key}}` + +- Set a specific configuration option: + +`tlmgr conf {{texmf|tlmgr|updmap}} {{configuration_key}} {{value}}` + +- Delete a specific configuration option: + +`tlmgr conf {{texmf|tlmgr|updmap}} --delete {{configuration_key}}` + +- Disable the execution of system calls via `\write18`: + +`tlmgr conf texmf {{shell_escape}} {{0}}` + +- Show all additional `texmf` trees: + +`tlmgr conf auxtrees show`