On Wed, 09 Jan 2008, Anthony Towns wrote: > On Thu, Jan 03, 2008 at 01:07:15PM -0800, Don Armstrong wrote: > > There are already mirrors which allow indexing, and you can use the > > BTS's own search engine which is far superior to gooogle [...] > > Uh, you're kidding right? The BTS's own search engine won't turn up hits > outside the BTS, as a trivial example...
It's far superior to google for searching for results *in* the BTS. That's obviously the subtext of my statement. > Getting smarturl.cgi properly done is still probably the real solution. It's not clear that that's actually the right way forward, but it may be a solution. Don Armstrong -- An elephant: A mouse built to government specifications. -- Robert Heinlein _Time Enough For Love_ p244 http://www.donarmstrong.com http://rzlab.ucr.edu -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
