From 7fc5be8a1b6fa8a81a1aaade707854efc2f0edf5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=A3o=20Pedro=20Battistella=20Nadas?= Date: Wed, 20 Nov 2024 16:56:25 +0100 Subject: [PATCH] wikiman: add page --- pages/common/wikiman.md | 20 ++++++++++++++++++++ 1 file changed, 20 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 00000000000000..fc89cf808d618e --- /dev/null +++ b/pages/common/wikiman.md @@ -0,0 +1,20 @@ +# wikiman + +> Wikiman is an offline search engine for manual pages, Arch Wiki, Gentoo Wiki and other documentation. +> More information: . + +- Search for a specific topic on all install sources: + +`wikiman {{search_term}}` + +- Search for a topic on a specific [s]ource: + +`wikiman -s {{source}} {{search_term}}` + +- Search for a topic on two specific [s]ources: + +`wikiman -s {{source1}},{{source2}} {{search_term}}` + +- List existing [S]ources: + +`wikiman -S`