From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 8H8iDtrF+mEIZAEAgWs5BA (envelope-from ) for ; Wed, 02 Feb 2022 18:56:42 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id mOziBtrF+mFW/gAAG6o9tA (envelope-from ) for ; Wed, 02 Feb 2022 18:56:42 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id C946742169 for ; Wed, 2 Feb 2022 18:56:38 +0100 (CET) Received: from localhost ([::1]:41034 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nFJrx-0001Bm-TU for larch@yhetil.org; Wed, 02 Feb 2022 12:56:37 -0500 Received: from eggs.gnu.org ([209.51.188.92]:33114) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nFIHZ-0005Kt-0d for guix-devel@gnu.org; Wed, 02 Feb 2022 11:14:57 -0500 Received: from [2607:f8b0:4864:20::730] (port=38574 helo=mail-qk1-x730.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nFIHT-00056r-R4; Wed, 02 Feb 2022 11:14:53 -0500 Received: by mail-qk1-x730.google.com with SMTP id o12so36777qke.5; Wed, 02 Feb 2022 08:14:51 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=Mb285FcRGMu44Uob87m8rDICLWNXoic+eF99c3jY4QU=; b=VO6MAKLNltN7RIOWkNBJjhEwraIJODbCyeuj0x94kwXV1hnZ15kSgZiInT3+OOv233 uXMG83AXDgP021+l2QliIhEvoNXtNxo3bfRSpkhmCL9sf0JXvmYs4C8x7i5AuN2vNfql 97HEtMAZFwenSCUPAvZjt7hiny3sQL62NtC72fczQkQq+fYWwmFaUEdknlDnlQXTKQe4 J2IRroGp7tjcSZdHIw17qb+FIGBdxAdMAeAOsX92w5YhjgS2/TC+mv0/Ewo4Ldw91zKj Lu6eKNgS2zQid4wELhXkvCHgHBnJqmz2Ppj9Vk73xBXqVvbgrMc9DIBiWoBp7pJOwy+0 MvWw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-transfer-encoding; bh=Mb285FcRGMu44Uob87m8rDICLWNXoic+eF99c3jY4QU=; b=pnJmfkvayDo+pR5BYfIO3grb7tY+Hz2JS04IdA37jhVCJQbE0E6tKJJmCcyxHTimen hlLbaPALgRVsVAUek7ZbKhy7qeyZ0aiZt1yZFveSER76Gf9HqA6eAFKKHdzxE1bsbvZz aBqgpEzaTyBiOSHqh+6Sg1qWLiqqzl3Jv6wOALluSaHQ5zw4YMw5RXhhUL/D733L41p4 hHjyFA03dZN2lroTb4IPC5GZKcj2GlgowiSVhF/CMTRkakgAcsTaUYhjnvlvPOuXKjqe o5O7WJNu6el4JG/ZMgzIjPn7e4C5d4B0CkM4vLywfps31KgblUJZ6MMCaEqyE1X5RUqG ddNA== X-Gm-Message-State: AOAM531MTALOhEdECJCwOC5MoeSnNgz7DS7sNiwFE+6RKJGMTNc9axPi BsiI7aptDk44bdnxKAURLc3denLFXuE= X-Google-Smtp-Source: ABdhPJyQCH8A0hSXxdLB5sLAN3AHcteTE1qSsxqGyV6TPyZmVoq12CzmAE8I/SkOiEuTrWEuXEXetQ== X-Received: by 2002:a05:620a:4251:: with SMTP id w17mr20838479qko.263.1643818488989; Wed, 02 Feb 2022 08:14:48 -0800 (PST) Received: from hurd (dsl-149-193.b2b2c.ca. [66.158.149.193]) by smtp.gmail.com with ESMTPSA id y15sm12815173qko.133.2022.02.02.08.14.48 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 02 Feb 2022 08:14:48 -0800 (PST) From: Maxim Cournoyer To: Ricardo Wurmus Subject: Re: File search References: <8735lh5ukw.fsf@inria.fr> <20220122054613.4c09367e@riseup.net> <87k0esp5gs.fsf@elephly.net> <87a6flrv76.fsf@gnu.org> <87zgnlm5ec.fsf@elephly.net> Date: Wed, 02 Feb 2022 11:14:47 -0500 In-Reply-To: <87zgnlm5ec.fsf@elephly.net> (Ricardo Wurmus's message of "Mon, 24 Jan 2022 18:03:15 +0100") Message-ID: <8735l1z1mw.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Host-Lookup-Failed: Reverse DNS lookup failed for 2607:f8b0:4864:20::730 (failed) Received-SPF: pass client-ip=2607:f8b0:4864:20::730; envelope-from=maxim.cournoyer@gmail.com; helo=mail-qk1-x730.google.com X-Spam_score_int: -12 X-Spam_score: -1.3 X-Spam_bar: - X-Spam_report: (-1.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, PDS_HP_HELO_NORDNS=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1643824598; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=Mb285FcRGMu44Uob87m8rDICLWNXoic+eF99c3jY4QU=; b=U8+VeWxCXewq56s1nIZX7O5ski1If0v+JH6gvixialZsBKNkRcxx8+m/7n6AmBJBFmM3Mo LuJRlVGISa5Ri2yuE9/QTRVSto+yeCbaTeQMqyEXDMD31RN2BNB38l0wlp5uBT5ahjn52K ebZ0C8ab4vx163tHSP3gBbGcIxFGBSKCaOnGcOamyCmijzvA3aeiakiQGexcbY4oVCu2PT xqgaeiWhaj8lniIQb9NwkMQAjyuETxge+ObXGjCH5b0zwdHmXSY7QXhSZZ5LjB8lGeNdjV T0W4lz9M0gRzuD0S4o/0t4hBkK4yioxRz4QxtdN4rZf2Mvwz4c+6k9Pw44FkNQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1643824598; a=rsa-sha256; cv=none; b=bGZG9onF2hIUGbmz/xBn0CqaqatHX4jB5AIEwxHUH2eJgBRehzsE5W4CKoZiK8pJ0DoXqi J1q0P7yGhMAxXKSKgOAvrrzhp69sZGMDEbx7HZkc1RtKNPtlpd32dnMufHbO/DJ9sgErad DZkOk4qSaR0LcaqutrlsCDzikQLCZsEY4FJKKwqzzXp8oUaGEoAEbQLgwZ5fOORqFzdlQp WwG51eA8xCFcjA4OUn8cQ74beOvy+nIhiU3FfjzBtQLuAnihyTKL+aI4ovxc4mpIQLgm1d uJ4Xp+z3hCVgiTDIr6ZQfdk16fJhGs9Vf1O8SWjPcOnSorh6B+ApY7rKriPShQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=VO6MAKLN; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -2.03 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=VO6MAKLN; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: C946742169 X-Spam-Score: -2.03 X-Migadu-Scanner: scn1.migadu.com X-TUID: Ubrx4FHDE2YJ Hi, Ricardo Wurmus writes: > Ludovic Court=C3=A8s writes: > >> Ricardo Wurmus skribis: >> >>> raingloom writes: >>> >>>> One use case that I hope can be addressed is TeXlive packages. Trying >>>> to figure out which package corresponded to which missing file was a >>>> nightmare the last I had to use LaTeX. >>> >>> The texlive package database is the authoritative source of information. >>> The file texlive.tlpdb is included in the texlive-bin package, and we= =E2=80=99re >>> using it in the importer. I also added (@ (guix import texlive) >>> files-differ?), which compares a texlive package=E2=80=99s output direc= tory with >>> the files that the texlive.tlpdb lists for that package. >>> >>> You can also use it to check what package should provide a certain file. >>> I do this all the time to figure out if our existing packages are >>> incomplete or if we=E2=80=99re just missing a package. >> >> Oh, I had never tried that. Is there a command that browses >> texlive.tlpdb, or do you just open it or grep it? > > I just have it open in Emacs and search inside. But we could easily add > a procedure to (guix import texlive) to check the texlive.tlpdb. All > the hard work has already been done; we=E2=80=99re using the same mechani= sm for > the importer and =E2=80=9Cfiles-differ?=E2=80=9D. It used to be broken, but with the c-u-f merge the 'tlmgr' tool now works as expected to search for things in the local texlive.tlpdb database: --8<---------------cut here---------------start------------->8--- $ guix shell --pure texlive-bin grep which coreutils sed gnupg -- tlmgr inf= o cite.sty tlmgr: cannot find package cite.sty, searching for other matches: Packages containing `cite.sty' in their title/description: Packages containing files matching `cite.sty': abntex2: texmf-dist/tex/latex/abntex2/abntex2cite.sty apacite: texmf-dist/tex/latex/apacite/apacite.sty chscite: texmf-dist/tex/latex/chscite/chscite.sty cite: texmf-dist/tex/latex/cite/cite.sty texmf-dist/tex/latex/cite/drftcite.sty texmf-dist/tex/latex/cite/overcite.sty combine: texmf-dist/tex/latex/combine/combcite.sty computational-complexity: texmf-dist/tex/latex/computational-complexity/cc2cite.sty texmf-dist/tex/latex/computational-complexity/cccite.sty emojicite: texmf-dist/tex/lualatex/emojicite/emojicite.sty gcite: texmf-dist/tex/latex/gcite/gcite.sty icite: texmf-dist/tex/latex/icite/icite.sty kluwer: texmf-dist/tex/latex/kluwer/klucite.sty lwarp: texmf-dist/tex/latex/lwarp/lwarp-cite.sty texmf-dist/tex/latex/lwarp/lwarp-drftcite.sty mcite: texmf-dist/tex/latex/mcite/mcite.sty notoccite: texmf-dist/tex/latex/notoccite/notoccite.sty velthuis: texmf-dist/tex/latex/velthuis/dvngcite.sty xcite: texmf-dist/tex/latex/xcite/xcite.sty --8<---------------cut here---------------end--------------->8--- It's not great that references to 'grep which coreutils sed gnupg' aren't patched though (I thought I cared they were, perhaps it regressed). HTH, Maxim