[pacman-dev] [arch-dev-public] Filename search for Arch

[Jeff Mickey]

On Jan 26, 2008 7:47 PM, Miklos Vajna <vmiklos at frugalware.org> wrote:
> i see only once design issue here: repo-add would then generate
> something that is only used by an external tool?
>
> - VMiklos

External in the sense of outside of pacman, yes.  But if it's an
"official" tool of arch, I don't see the problem here.  If anything,
we could make yet another script that wraps around repo-add if you
really don't want the functionality in repo-add.


On Jan 27, 2008 12:13 PM, Nathan Jones <nathanj at insightbb.com> wrote:
> For the command line usage, it should be easy to create a 10 line python
> script to call to the server and print the results.

This is exactly what I think is a bad idea.  I wouldn't want someone
to query a server when they searched the filelist.. maybe I'm alone in
this sentiment.

    //  jeff
-- 
. : [ + carpe diem totus tuus + ] : .