From mboxrd@z Thu Jan 1 00:00:00 1970 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= Subject: Re: improvements to search at ci.guix.gnu.org Date: Fri, 21 Jun 2019 17:36:05 +0200 Message-ID: <87y31veysa.fsf@gnu.org> References: <87zhmckk4c.fsf@elephly.net> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:58989) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1heLaI-00065F-NL for guix-devel@gnu.org; Fri, 21 Jun 2019 11:36:16 -0400 In-Reply-To: <87zhmckk4c.fsf@elephly.net> (Ricardo Wurmus's message of "Thu, 20 Jun 2019 23:44:03 +0200") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Ricardo Wurmus Cc: guix-devel@gnu.org Hello! Ricardo Wurmus skribis: > the search at ci.guix.gnu.org now recognizes ^ and $ to designate the > beginning or end of a query. You can now also search for arbitrary > build names (previously the query would always end on =E2=80=9C-%=E2=80= =9D). > > Examples: > > ^r-3 system:aarch64-linux > Show all builds of the =E2=80=9Cr=E2=80=9D package at version 3.x on = aarch64. > > test spec:staging-staging > Show any build including the string =E2=80=9Ctest=E2=80=9D on the =E2= =80=9Cstaging-staging=E2=80=9D > specification. (I also don=E2=80=99t like the duplication in spec na= mes.) > > -test$ spec:guix-master system:x86_64-linux > Show all x86_64 builds ending on =E2=80=9C-test=E2=80=9D in the =E2= =80=9Cguix-master=E2=80=9D > specification. Woow, really nice! I dreamed about it out loud a couple of days ago, I=E2=80=99m glad it=E2=80=99s already here! :-) The =E2=80=9Cspec:=E2=80= =9D and =E2=80=9Csystem:=E2=80=9D keywords are really nice. Strangely =E2=80=9Cinstalled-os=E2=80=9D works, but =E2=80=9Ctest.installed= -os=E2=80=9D and =E2=80=9Ctest\.installed-os=E2=80=9D yield nothing. Perhaps wrong tokeniza= tion? Thank you! Ludo=E2=80=99.