From 30a11ed2df246992eb42a23c2413953eb33f13f1 Mon Sep 17 00:00:00 2001 From: marchersimon <50295997+marchersimon@users.noreply.github.com> Date: Tue, 21 Sep 2021 22:28:14 +0200 Subject: [PATCH] tlmgr-shell: add page (#6572) --- pages/common/tlmgr-shell.md | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 pages/common/tlmgr-shell.md diff --git a/pages/common/tlmgr-shell.md b/pages/common/tlmgr-shell.md new file mode 100644 index 0000000000..0ed64480b1 --- /dev/null +++ b/pages/common/tlmgr-shell.md @@ -0,0 +1,36 @@ +# tlmgr shell + +> Start an interactive shell of the native TeX Live manager. +> More information: . + +- Start an interactive shell of `tlmgr`: + +`tlmgr shell` + +- Run any `tlmgr` sub-command in the interactive shell: + +`{{sub_command}} {{arguments}}` + +- Quit the interactive shell: + +`quit` + +- List all TeX Live variables: + +`get` + +- Get the value of a TeX Live variable: + +`get {{variable}}` + +- Set the value of a TeX Live variable: + +`set {{variable}} {{value}}` + +- Restart the interactive shell: + +`restart` + +- Print the version of the current protocoll: + +`protocol`