summaryrefslogtreecommitdiff
path: root/Master/tlpkg/doc/historic/tlmgr-shell.txt
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/doc/historic/tlmgr-shell.txt')
-rw-r--r--Master/tlpkg/doc/historic/tlmgr-shell.txt55
1 files changed, 55 insertions, 0 deletions
diff --git a/Master/tlpkg/doc/historic/tlmgr-shell.txt b/Master/tlpkg/doc/historic/tlmgr-shell.txt
new file mode 100644
index 00000000000..7c2491f4291
--- /dev/null
+++ b/Master/tlpkg/doc/historic/tlmgr-shell.txt
@@ -0,0 +1,55 @@
+TeX Live Manager Shell
+======================
+
+to be written
+
+TODO & BUGS
+------------
+* need to restart after self update
+
+* installation from shell - command
+ init-location
+
+
+
+Description
+-----------
+
+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 debug-translation 1 == --debug-translations
+ set machine-readable 1 == --machine-readable
+ set no-execute-actions 1 == --no-execute-actions
+ set require-verification 0|1 == --(no-)require-verification
+ 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.
+
+