From 1cdc913bced49aa90413022201417941228cee5b Mon Sep 17 00:00:00 2001 From: jpnadas Date: Sat, 23 Nov 2024 11:18:19 +0000 Subject: [PATCH] wikiman: add page (#14922) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Wiktor Perskawiec Co-authored-by: Nelson Figueroa <30811275+nelsonfigueroa@users.noreply.github.com> Co-authored-by: João Pedro Battistella Nadas --- pages/common/wikiman.md | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 pages/common/wikiman.md diff --git a/pages/common/wikiman.md b/pages/common/wikiman.md new file mode 100644 index 000000000..3ea9aae63 --- /dev/null +++ b/pages/common/wikiman.md @@ -0,0 +1,25 @@ +# wikiman + +> Offline search engine for documentation. +> Supports manual pages, Arch Wiki, Gentoo Wiki, FreeBSD documentation, and tldr-pages. +> More information: . + +- Search for a specific topic on all installed sources: + +`wikiman {{search_term}}` + +- Search for a topic in a specific [s]ource: + +`wikiman -s {{source}} {{search_term}}` + +- Search for a topic in two or more specific [s]ources: + +`wikiman -s {{source1,source2,...}} {{search_term}}` + +- List existing [S]ources: + +`wikiman -S` + +- Display [h]elp: + +`wikiman -h`