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
