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 ms9.migadu.com with LMTPS id ePT1ONWFe2TdOwAASxT56A (envelope-from ) for ; Sat, 03 Jun 2023 20:26:30 +0200 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 sNchONWFe2R9DwEAG6o9tA (envelope-from ) for ; Sat, 03 Jun 2023 20:26:29 +0200 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 9DB7337FEF for ; Sat, 3 Jun 2023 20:26:29 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q5Vws-0003kG-R8; Sat, 03 Jun 2023 14:25:59 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q5Vwq-0003k0-Rf for help-guix@gnu.org; Sat, 03 Jun 2023 14:25:56 -0400 Received: from sender11-op-o11.zoho.eu ([31.186.226.225]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q5Vwo-0000ki-Nj for help-guix@gnu.org; Sat, 03 Jun 2023 14:25:56 -0400 ARC-Seal: i=1; a=rsa-sha256; t=1685816747; cv=none; d=zohomail.eu; s=zohoarc; b=HW2y0p3sr9KpkVZucUL3zzbeIivvz4b8iSXy8gNYhph6dnN/2JynGfi7w7U49NfSwMUAF+9Dv4C/wDOMHVMTteoESCVIm4EI62P7Nxm9hOOCaoV0sPKmqHuwu7ypN85wWLHz24+yDc5rh33Da2xNe1a6TLKGdvjBpUPXU5ptOUQ= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.eu; s=zohoarc; t=1685816747; h=Content-Type:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To; bh=/CPZuqS77vGky0a1pKQXKHBKspqYe3vwab66SsoGa3w=; b=Xu2icrRmWD8HeKiz5EjY+2NEvWQBG6vA3//eg/w08IPaLdxPaX4zpchiJQwPxp2y5FYtx2vvqI+GBtgTWlYGxXZakkUlFfjOy3VzA9le4TDLZC4HImocLkqcWlw5a7F9qzxokwowBaFk0ESX6pxX05vizxqzw/syBSVbWTI21WM= ARC-Authentication-Results: i=1; mx.zohomail.eu; dkim=pass header.i=rdklein.fr; spf=pass smtp.mailfrom=edou@rdklein.fr; dmarc=pass header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1685816747; s=zoho; d=rdklein.fr; i=edou@rdklein.fr; h=References:From:From:To:To:Cc:Cc:Subject:Subject:Date:Date:In-reply-to:Message-ID:MIME-Version:Content-Type:Message-Id:Reply-To; bh=/CPZuqS77vGky0a1pKQXKHBKspqYe3vwab66SsoGa3w=; b=AoDf9Sj9mDzYJ4l+ZqUbD5B82PZzBa8bDGRWpp0E5RIq1OpHac/WD6qHmTHtzVdu elSdezRDMMGJGAKjDIGoXnqI9/2VGio+XzxNLnH4qRp29r+1XrR8PAKwG3YgihgdGgt ej4KezDOMDqoHwl6NK4cJHuClXLHpnMcJaAxGJbW+6Rn9h1gX63jnrGbLlkC4L53qC0 vVGJAE6VFiZbqAjWWxrSLwcXz5pMqsWgJaM6KcIH0uChp9c58TgKbb1T3f+O+hUDUY7 HmSHi/PKvmjXCvQ1IuRhpIqgz5ug1a9TZeuxCd5gAuWNeA+R4t7wzPNNKbJKzSAK/MA s7Cjzd/s1w== Received: from schwarzy (lfbn-idf3-1-667-244.w86-252.abo.wanadoo.fr [86.252.237.244]) by mx.zoho.eu with SMTPS id 1685816745910536.8721837874035; Sat, 3 Jun 2023 20:25:45 +0200 (CEST) References: <875y85ybjs.fsf@wmeyer.eu> <871qity1rk.fsf@wmeyer.eu> <7085200.u18OAy0pa5@soren-desktop> User-agent: mu4e 1.8.13; emacs 28.2 From: Edouard Klein To: Soren Stoutner Cc: help-guix@gnu.org Subject: Re: lookup which file can be found in which package Date: Sat, 03 Jun 2023 20:13:25 +0200 In-reply-to: <7085200.u18OAy0pa5@soren-desktop> Message-ID: <87pm6ce732.fsf@rdklein.fr> MIME-Version: 1.0 Content-Type: text/plain X-ZohoMailClient: External Received-SPF: pass client-ip=31.186.226.225; envelope-from=edou@rdklein.fr; helo=sender11-op-o11.zoho.eu X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: help-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1685816789; 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:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=/CPZuqS77vGky0a1pKQXKHBKspqYe3vwab66SsoGa3w=; b=qh8IVCpIIYx7QJzCyy6UHW4MCLAxAxcMuFYBHPTkaUMBfxwEaWecN7Q97Vgo1E4zuMXuXN CHnlDA6eo33EJ0QBGxDf1cz4dDVIwEgVFvJY7JWRAK+aNh1OJztkxHp797mbvFFo0wwNd5 HUtUcfzemf0yo7ObyjF4jWb6EVY7WBl+jocPHKv+FfPhYyedhakGsZfGjBa7DX19FAReh2 dfmuaO/m/Z9krteY2Y2F1vAMSDhh6LdB1aIe7hdz2BlKIygMeZbYiu+ABIbK7Xv0GKKiI/ h9PmibM6wO93Ey3b+NhpUeq0RcnK1XFlaI5udaDvlvLI523IZbn1oNo7E3DbWQ== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=pass header.d=rdklein.fr header.s=zoho header.b=AoDf9Sj9; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org"; arc=pass ("zohomail.eu:s=zohoarc:i=1") ARC-Seal: i=2; s=key1; d=yhetil.org; t=1685816789; a=rsa-sha256; cv=pass; b=qHuC5P8wx/O9aUhBvtYzls34mJB8WtN3HkBdRhrpcW0rjI1lI5IWjnPcdHZfm9qd9PXUO/ a3fZBtLXQmwJrWhbUsTAMN9Q5zdcgLy6QLd0g1Kip8kYiY7CRmyJP+jne78OcrpMhk/HKt 9fPRX5DjYpcJgyUMorTYAD5YhGHAngZC19nKqs4enI29pdO04MXVWwe6ZPVUZvHbXwUb49 auQJ1wGAlu1avk5bA0WzrXJ1tTrSLUArSIG2utYb+euEdmVBoxtK1ic4OPjpd6yeDcZFIu 49Xwf8jNW0UkMfHX7IULkIqu3XvMLvCcGuO0yCwLg29BHHrtzN5cNpLu+h9aMg== X-Migadu-Scanner: scn1.migadu.com X-Migadu-Spam-Score: -4.68 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=rdklein.fr header.s=zoho header.b=AoDf9Sj9; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org"; arc=pass ("zohomail.eu:s=zohoarc:i=1") X-Migadu-Queue-Id: 9DB7337FEF X-Spam-Score: -4.68 X-TUID: X0ReENxtOBtk My usual method is first: guix search, then: grep -ri in a checkout of the source, and last searching the web for the package name in other distros, and a bit of guesswork. It usually endup in a *-utils or *-tools package. >From a computer science standpoint this is an interesting problem. The content of the store is the output of a program, so discovering what it is reduces to the Halting Problem, which can't be solved by automatic means for all packages. Of course most packages are nicely coded, and grep usually find the answer. Nevertheless, the only way to solve this for all packages would be to install all packages and grep the store... i.e. run all programs to completion and look at the output. If you build a program to analyze the package code before it is executed, one can always build a pathological package that will make it fail (the canonical example would be a package that incorporates the code of the checker, runs the checker on itself, and chose the answer that makes the checker fail, but one can make a package whose output depends on the Riemann conjecture being false, for example). Cheers, Soren Stoutner via writes: > [[PGP Signed Part:Undecided]] > This would be a nice feature that I hope gets implemented some day. > > On Friday, June 2, 2023 2:45:28 PM MST W. T. Meyer wrote: >> "W. T. Meyer" writes: >> > Is there a quick way in Guix to figure out which package provides which >> > file similar to what other package managers provide with dnf >> > provides/apt-file search/nix-locate etc.? >> >> There's an open patch for a guix index command mention on the >> guix-patches mailing list: >> https://lists.gnu.org/archive/html/guix-patches/2023-03/msg01210.html >> >> I guess this answers my question. >> >> - Wilko