diff options
Diffstat (limited to 'Master/tlpkg/dev/keyword-search/tlmgr-interface.txt')
-rw-r--r-- | Master/tlpkg/dev/keyword-search/tlmgr-interface.txt | 9 |
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] |