[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: File search
From: |
Ludovic Courtès |
Subject: |
Re: File search |
Date: |
Thu, 08 Dec 2022 16:41:20 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
Hi,
"(" <paren@disroot.org> skribis:
> Someone on IRC suggested that we use GraphQL to allow us to request
> that a substitute server search for files in a database constructed
> using all the packages that have been built.
>
> I suggest something like this:
>
> # on the client
> when [built a package derivation]
> [add files to local database]
>
> when [user ran guix find]
> if [send find request to substitute server] didn't work
> [search through local database]
> [display result]
Upthread I started the discussion of criteria for file search:
https://lists.gnu.org/archive/html/guix-devel/2022-01/msg00354.html
Among them, there’s privacy and support for off-line operation. To meet
these criteria, I think we should refrain from sending individual file
search requests to the server, and instead have the option of fetching a
full database.
Ludo’.
- Re: File search, antoine . romain . dumont, 2022/12/02
- Re: File search, Antoine R. Dumont (@ardumont), 2022/12/02
- Re: File search, Ludovic Courtès, 2022/12/03
- Re: File search, Antoine R. Dumont (@ardumont), 2022/12/09
- Re: File search, zimoun, 2022/12/09
- Re: File search, Ludovic Courtès, 2022/12/11
- Re: File search, Antoine R. Dumont (@ardumont), 2022/12/15
- Re: File search, Ludovic Courtès, 2022/12/19
- Re: File search, zimoun, 2022/12/19
- Re: File search, Antoine R. Dumont (@ardumont), 2022/12/20