Subject: Re: [PATCH v5 0/4] Optimize guix search

From: zimoun <[email-masked]>
Date: Mon, 1 Jun 2020 12:01:11 +0200

> > --8<---------------cut here---------------start------------->8---
> > time ./pre-inst-env guix search strategy game
> >
> > real    0m1.613s
> > user    0m1.635s
> > sys     0m0.096s
> > --8<---------------cut here---------------end--------------->8---
> >
> > --8<---------------cut here---------------start------------->8---
> > time guix search strategy game
> >
> > real    0m2.520s
> > user    0m2.583s
> > sys     0m0.112s
> > --8<---------------cut here---------------end--------------->8---

I do not see any improvement on my machine.  Well, I am
double-checking because I should have screwed up something...