After an issue with mangl, from ports, I discovered and configure man.cgi on localhost httpd after install - works great (online or offline)!
Thanks, David Rinehart On 9/8/23 13:54, Amarendra Godbole wrote: > On Fri, Sep 8, 2023 at 8:02 AM Luke Call <luke...@onemodel.org> wrote: >> On 2023-09-07 22:47:47+0200, Daniele B. <my2...@has.im> wrote: >>>> I don't know if Android has a similar feature, but at least on iOS you >>>> can save a particular website to your home as a webapp from Safari. >>> Thanks for the answer Shokara. My initiative was to call for the development >>> in the community of a serious app, with commands directory and full-text >>> search, >>> working offline on multiple device with different screen orientation. >>> >>> Beside the possibility to create an home link of the online site on Android. >>> >> If you need full-text search from the desktop, this does the job for me. >> I put it in my path and call the script "mank" since it resembles >> Linux's "man -K" well enough >> for me, and has been useful when I just know I read something but can't >> remember where well enough to use apropos. It is not fast. It assumes >> bash is installed from packages, but could easily be changed to use ksh >> instead. >> >> #!/usr/bin/env bash >> set -eux >> TMP=$(mktemp -t mank-tmp-output_XXXXXX) >> nice grep -irE -C "$1" /usr/share/man/* 2>&1 > $TMP || true >> nice grep -irE -C "$1" /usr/local/man/* 2>&1 >> $TMP || true >> less -p "$1" $TMP >> rm -f $TMP >> echo $? >> >> I also have used wget a couple of times in the past to locally mirror >> www.openbsd.org in case I needed something and can't get online, and >> then one could grep that also (or use google to do a full-text online search >> of that site), but I don't know whether that wget thing is a great idea. > [...] > > Alternately, you can also clone the www repo: https://github.com/openbsd/www > > Thanks. > > -ag >
