Posts

Showing posts from April 7, 2019

How to run full text search on help pages offline (from Yelp / gnome-help or something other)?

Image
5 1 I have both Ubuntu 16.04 LTS and Ubuntu 18.04 LTS installed. I want to search for documentation and read it off-line (as it is included to the installed packages in /usr/share/help and other locations). As far I can understand it has three formats: HTML - .page ( dpkg -S .page | grep -E /usr/share/help | awk '{print $1}' | sort | uniq | wc -l returns 12 results) DocBook - .docbook ( dpkg -S .docbook | grep -E /usr/share/help | awk '{print $1}' | sort | uniq | wc -l returns 21 results) ManPage (many from manpath = /usr/local/man:/usr/local/share/man:/usr/share/man ) These files are rendered by Yelp program (from yelp package) with executables yelp and gnome-help . Notes: here on AskUbuntu was similar question about ScrollKeeper database (provided by rarian-compat package)