From mboxrd@z Thu Jan  1 00:00:00 1970
From: zimoun <zimon.toutoune@gmail.com>
Subject: Re: Package file indexing
Date: Thu, 9 Jan 2020 17:59:25 +0100
Message-ID: <CAJ3okZ1HQJcqz=dg+oXyGb82wc7+34QkvfT7H=DVGD-5ed+SoQ@mail.gmail.com>
References: <sgvps3xz.fsf@yandex.com> <20190314204941.GA21065@jasmine.lan>
 <87mulx9kuv.fsf@nckx> <87zhpx846u.fsf@ambrevar.xyz>
 <87bm21y2s2.fsf_-_@gnu.org>
 <87imw7cpe7.fsf@bababa.i-did-not-set--mail-host-address--so-tickle-me>
 <87pnqdhkpf.fsf@gnu.org> <87imlt3hr2.fsf@ambrevar.xyz>
 <CAJ3okZ1feq8tES+qk8=Cpv4ySVJ84g1-UFDPSFgreRU6BhODiA@mail.gmail.com>
 <462f35f7596f7318d2b34cc300a7e27a69d2072c.camel@riseup.net>
 <CAJ3okZ1GXZz+DF0nMm8tG9X=k8Jx0f7WbB6D9qbTVcwzt2-UcQ@mail.gmail.com>
 <87pnfs9437.fsf@ambrevar.xyz>
 <CAJ3okZ3M_oG0ZnLVV3T2aGs+6ABzXb7vhdieTf7Bb=DmZcTyNw@mail.gmail.com>
 <875zhk90pa.fsf@ambrevar.xyz>
 <CAJ3okZ3qqUO1qdEDuLjdR8sq0TyihskuHwz7+N1e4xO4fgOx2A@mail.gmail.com>
 <87zhew7i7t.fsf@ambrevar.xyz>
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org>
Received: from eggs.gnu.org ([2001:470:142:3::10]:39780)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <zimon.toutoune@gmail.com>) id 1ipb9m-0000YP-RY
 for guix-devel@gnu.org; Thu, 09 Jan 2020 11:59:39 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <zimon.toutoune@gmail.com>) id 1ipb9l-0008JL-JG
 for guix-devel@gnu.org; Thu, 09 Jan 2020 11:59:38 -0500
Received: from mail-qv1-xf2e.google.com ([2607:f8b0:4864:20::f2e]:46025)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <zimon.toutoune@gmail.com>)
 id 1ipb9l-0008H2-12
 for guix-devel@gnu.org; Thu, 09 Jan 2020 11:59:37 -0500
Received: by mail-qv1-xf2e.google.com with SMTP id l14so3236800qvu.12
 for <guix-devel@gnu.org>; Thu, 09 Jan 2020 08:59:36 -0800 (PST)
In-Reply-To: <87zhew7i7t.fsf@ambrevar.xyz>
List-Id: "Development of GNU Guix and the GNU System distribution."
 <guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org
Sender: "Guix-devel"
 <guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org>
To: Pierre Neidhardt <mail@ambrevar.xyz>
Cc: Guix-devel <guix-devel@gnu.org>

On Thu, 9 Jan 2020 at 16:38, Pierre Neidhardt <mail@ambrevar.xyz> wrote:

> > I am looking for the file gmsh.h and I do not know nothing more.
>
> --8<---------------cut here---------------start------------->8---
> guix search /gmsh.h
> --8<---------------cut here---------------end--------------->8---
>
> would work.  You don't need the full path.

I do not like because it is not meaningful. It appears to me more
confusing than the rare case of "file:file:". ;-)


> >> >>  - guix search file:ieee*.sty bin/gmsh latex
> >
> > I know nothing about the path of the file ieee*.sty and it does not
> > belong to the package gmsh.
>
> I don't understand what you are trying to search.  Is it the 'bin/gmsh'
> file or the files matching 'ieee*.sty'?

In this (virtual and non-sensical) example, I am looking for packages
that contains any file matching ieee*.sty *and* any file matching
"bin/gmsh" *and* any package that matches latex in its
name/synopsis/description.

I do not see why the both syntax can live together. To me, sometimes
"file:" is clearer, sometimes instead "/" is.



All the best,
simon