On Fri, Apr 22, 2022 at 03:02:12AM +0200, Peter P. wrote:
[...] I was furthermore trying to search this
list's archive, but
could not find a search engine at
https://lists.linuxaudio.org/listinfo/linux-audio-user Is there any?
You can search them locally. Download them thus:
wget --page-requisites --https-only --wait=5 \
'https://lists.linuxaudio.org/archives/linux-audio-user/'{2002..2022}-{January,February,March,April,May,June,July,August,September,October,November,December}'.txt.gz'
(Remove the "--wait=5" if you're in a rush, but otherwise leave it in to
be polite to server hosts & other users. Remove "--page-requisites" if
you don't want to preserve the URL/directory structure.)
Then either:
- zgrep the monthly archives, or
- load the monthly archives in a MUA that can handle compressed
mailboxes (e.g. Mutt) and search from there, or
- etc.
Alternatively, you can use a third-party search engine (Google,
DuckDuckGo, Startpage, Bing, whatever). Search engines vary in their
syntax, but try e.g. searching for
foo
inurl:lists.linuxaudio.org/archives/linux-audio-user/
where "foo" is the term of interest.
Sam