diff options
Diffstat (limited to 'Master/tlpkg/doc/tlmgr-shell.txt')
-rw-r--r-- | Master/tlpkg/doc/tlmgr-shell.txt | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/Master/tlpkg/doc/tlmgr-shell.txt b/Master/tlpkg/doc/tlmgr-shell.txt new file mode 100644 index 00000000000..93384a53f4a --- /dev/null +++ b/Master/tlpkg/doc/tlmgr-shell.txt @@ -0,0 +1,48 @@ +TeX Live Manager Shell +====================== + +to be written + +after starting, tlmgr shell echos out the protocol version + $ tlmgr shell + protocol NNN +where NNN is a natural number, increasing when some commands +are added, changed. + +Question: +Handling of settings: e.g., how to mimic --repository and how +to distinguish it from settings to be saved into the tlpdb. +(--repository is used only for one incantation, but not saved +into tlpdb) + +Commands: +--------- +* set + sets some variables not to be saved into the tlpdb + set repository ... == --repository + set gui-lang LL == --gui-lang + set debug-translation 1 == --debug-translations + set machine-readable 1 == --machine-readable + set no-execute-actions 1 == --no-execute-actions + set package-logfile .. == --package-logfile + set persistent-downloads 0|1 == --(no-)persistent-downloads + set pin-file ... == --pin-file + set require-verification 0|1 == --(no-)require-verification + set usermode 1 == --usermode + set verify-downloads 0|1 == --(no-)verify-downloads + +* quit|end|byebye + ends the session + +* load local|remote + loads the local or remote database + the remote tlpdb is determined by either the setting in the + loaded local tlpdb, or by the "repository" setting (see above) + +* save + saves the local tlpdb (this is also done by several actions) + +All other actions are converted to commands and behave in the +absolut same way. + + |