On Fri, Mar 12, 2021 at 4:50 AM Kalvin Lee <[email protected]> wrote: > Hi all, > > tug.org provides a search box atop the private view of the archives that > farms out queries to DuckDuckGo, e.g. searching "gliss" searches > DuckDuckGo for "gliss site:tug.org/pipermail/TeX-Music." > > The problem is that this never turns up results — seems that > tug.org/pipermail/TeX-Music doesn't exist. How should one go about > fixing this (or working around it)?
That's correct. Tex-Music is set up as a private group, as per request of some members, so a public research - even starting from tug.org - cannot give any result. Unfortunately, I have no idea how to address it. Even starting from https://tug.org/mailman/private/tex-music/ (which is accessible only by subscribers) gives no answer, since the search is still made with DuckDuckGo. I found at https://wiki.list.org/DOC/How%20do%20I%20make%20the%20archives%20searchable that a patch for mailman exists, which allows searches in private lists (when the user is authenticated, of course); but I don't tkink that the fine folks at tug.org are willing to implement them. ciao, .mau.
------------------------------- [email protected] mailing list If you want to unsubscribe or look at the archives, go to https://tug.org/mailman/listinfo/tex-music
