[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: File search
From: |
Ludovic Courtès |
Subject: |
Re: File search |
Date: |
Sun, 11 Dec 2022 11:22:54 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
Hi!
"Antoine R. Dumont (@ardumont)" <ardumont@softwareheritage.org> skribis:
> |-----------+-------------+----------+----------|
> | Iteration | Host System | Time (s) | Packages |
> |-----------+-------------+----------+----------|
> | 1st | Debian | 121.88 | 284 |
> | | Guix System | 413.55 | 749 |
> |-----------+-------------+----------+----------|
> | 2nd | Debian | 1.3 | 101 |
> | | Guix System | 11.54 | 354 |
> |-----------+-------------+----------+----------|
Ah, that’s a significant difference.
I guess we can keep both methods: the exhaustive one that goes over all
packages, and the quick one. Then we can have a switch to select the
method.
Typically, we may want to use the expensive one on the build farm to
publish a full database, while on user’s machines we may want to default
to the cheaper one.
>> Oh, and progress bars too.
>
> I'm a bit unsettled on this. Hopefully it was mostly a joke ;)
It wasn’t. :-)
In the manifest case, we get ‘all-profiles’ is almost instantaneous, so
we immediately known the number of manifests we’ll be working on.
In the package case, the number of packages is known ahead.
The (guix progress) module provides helpers.
But anyway, that’s more like icing on the cake, we can leave that for
later.
Thanks,
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/04
- Re: File search, Ludovic Courtès, 2022/12/06
- Re: File search, zimoun, 2022/12/06
- Re: File search, (, 2022/12/06
- Re: File search, Ludovic Courtès, 2022/12/08
- Re: File search, Antoine R. Dumont (@ardumont), 2022/12/09
- Re: File search, zimoun, 2022/12/09
- Re: File search,
Ludovic Courtès <=
- 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