[arch-dev-public] Filename search for Arch
aaronmgriffin at gmail.com
Fri Jan 25 18:19:14 EST 2008
On Jan 25, 2008 5:02 PM, Thomas Bächler <thomas at archlinux.org> wrote:
> eliott schrieb:
> > I guess I don't see where this script fits in, and how it is supposed
> > to be used.
> > thomas made mention of using zgrep for advanced users, but that seems
> > just as difficult as opening a web browser and typing into a search
> > box.
> The purpose is to provide filelists for download, so they can be
> searched offline by pacman.
> My first idea (implementing an online search in pacman) was rejected,
> thus I thought about a "download the filelist and search it" offline
Oh, I must have misunderstood too. If you're going to implement
filelist search and all that stuff, we should:
a) Move this to the pacman-dev mailing list
b) Add external tools to do this as part of the "pacman source", i.e.
as a patch to repo-add
c) Not use this script until pacman actually has this feature.
If the intent is to let users zgrep it, then I agree with cactus that
that is significantly more complex then actually using the website to
provide a search interface.
More information about the arch-dev-public