summaryrefslogtreecommitdiff
path: root/Master/tlpkg/dev/keyword-search/tlmgr-interface.txt
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/dev/keyword-search/tlmgr-interface.txt')
-rw-r--r--Master/tlpkg/dev/keyword-search/tlmgr-interface.txt9
1 files changed, 8 insertions, 1 deletions
diff --git a/Master/tlpkg/dev/keyword-search/tlmgr-interface.txt b/Master/tlpkg/dev/keyword-search/tlmgr-interface.txt
index c6405c490d8..2b955040470 100644
--- a/Master/tlpkg/dev/keyword-search/tlmgr-interface.txt
+++ b/Master/tlpkg/dev/keyword-search/tlmgr-interface.txt
@@ -2,7 +2,14 @@ How to interface tlmgr search with keywords
new search interface:
-tlmgr search <options> <terms>
+tlmgr search <options> <literal>
+ searches the normal way, i.e., pkg names, short/long desc
+tlmgr search <options> --file <literal>
+ searches the current --file way, i.e., the list of files of a package
+tlmgr search <options> --taxonomy <literal>
+ searches the taxonomy (keyword, functionality, characterization)
+tlmgr search <options> --extended <terms>
+ allows full searching (will maybe implemented later)
<options> ::= --global | --word | --list [keywords|functions|characterizations]