22 Apr
2022
22 Apr
'22
9:54 a.m.
* Sam Kuper <sampablokuper(a)posteo.net> [2022-04-22 09:41]:
On Fri, Apr 22, 2022 at 03:02:12AM +0200, Peter P.
wrote:
Thanks Sam, that seems like a
possible solution for now although I
haven't tried it yet.
[...] 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 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.
Sadly, searching for
kernel inurl:lists.linuxaudio.org/archives/linux-audio-user/
on startpage.com or google.com/ncr
did not produce any results.
I would be nice to have a searchable web archive.
Peter