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 _______________________________________________ Linux-audio-user mailing list Linux-audio-user@xxxxxxxxxxxxxxxxxxxx https://lists.linuxaudio.org/listinfo/linux-audio-user
