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.
