From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id +NqgGIKuUGDsAgAA0tVLHw (envelope-from ) for ; Tue, 16 Mar 2021 13:11:30 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id iJJYFIKuUGDNNQAAB5/wlQ (envelope-from ) for ; Tue, 16 Mar 2021 13:11:30 +0000 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 E97AD19A32 for ; Tue, 16 Mar 2021 14:11:29 +0100 (CET) Received: from localhost ([::1]:59862 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lM9Tr-0007TE-TZ for larch@yhetil.org; Tue, 16 Mar 2021 09:11:27 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:53050) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lM9TS-0007Rs-E6 for guix-patches@gnu.org; Tue, 16 Mar 2021 09:11:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:55179) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lM9TS-0008Lc-1b for guix-patches@gnu.org; Tue, 16 Mar 2021 09:11:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lM9TR-0006Af-TC for guix-patches@gnu.org; Tue, 16 Mar 2021 09:11:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#47163] [PATCH] refresh: Add '--installed' option. Resent-From: =?UTF-8?Q?L=C3=A9o?= Le Bouter Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 16 Mar 2021 13:11:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 47163 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: zimoun Cc: Ludovic =?UTF-8?Q?Court=C3=A8s?= , Xinglu Chen , 47163@debbugs.gnu.org Received: via spool by 47163-submit@debbugs.gnu.org id=B47163.161590025423700 (code B ref 47163); Tue, 16 Mar 2021 13:11:01 +0000 Received: (at 47163) by debbugs.gnu.org; 16 Mar 2021 13:10:54 +0000 Received: from localhost ([127.0.0.1]:38492 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lM9TK-0006AC-GD for submit@debbugs.gnu.org; Tue, 16 Mar 2021 09:10:54 -0400 Received: from mail.zaclys.net ([178.33.93.72]:54645) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lM9TJ-00069u-20 for 47163@debbugs.gnu.org; Tue, 16 Mar 2021 09:10:53 -0400 Received: from guix-xps.local (82-64-145-38.subs.proxad.net [82.64.145.38]) (authenticated bits=0) by mail.zaclys.net (8.14.7/8.14.7) with ESMTP id 12GDAlEG008443 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Tue, 16 Mar 2021 14:10:47 +0100 DMARC-Filter: OpenDMARC Filter v1.3.2 mail.zaclys.net 12GDAlEG008443 Authentication-Results: mail.zaclys.net; spf=fail smtp.mailfrom=lle-bout@zaclys.net DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=zaclys.net; s=default; t=1615900247; bh=helJdkrAW2ASq0qzTcfcgYS49ilwPStbGTKYbieX0YA=; h=Subject:From:To:Cc:Date:In-Reply-To:References:From; b=od+a5VIu18m6JJTxPkEfTvxC8HcmEVJ9ndjOxoU6lw7rKKVHawAHykSwK6tzas2rd 7+bPdvXGO13sokKzr1aq4W06qSJOWTpJGCWQg4bSV9jkIu1Zn5d6HxD656ZnGdT/2g 5+Bi9XX1+ek+hxkxln3NFXeHPlLKcEfEBtt3YwH8= Message-ID: Date: Tue, 16 Mar 2021 14:10:46 +0100 In-Reply-To: References: <87v99sb1aa.fsf@gnu.org> <87mtv4azmi.fsf@yoctocell.xyz> <87tupb8nzs.fsf@gnu.org> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-5s/c1VuwHAUtFtQN1Dui" User-Agent: Evolution 3.34.2 MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" Reply-to: =?UTF-8?Q?L=C3=A9o?= Le Bouter X-ACL-Warn: , =?UTF-8?Q?L=C3=A9o?= Le Bouter via Guix-patches From: =?UTF-8?Q?L=C3=A9o?= Le Bouter via Guix-patches via X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1615900290; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=helJdkrAW2ASq0qzTcfcgYS49ilwPStbGTKYbieX0YA=; b=NmJ+LdjUEbYK3aZS+fGni4w/sYa5571QRyFcD4LZcVr8smHu9IrX8P67f9bHknTQaN55z5 c2ODHuYUfGV0bskEhqKUwjz1XxTEqVpNw3INq6Y7xSsbnNxedS8BC4RJlN3NChUxwxWLqA ZcA12CcAIWrfK22dOuIHdN6Doel8mMTAQlNOLf3P9U3CQ5Nd+MZ+gxsW/VBdL5wk6acnO3 ZfSMojsxhhhuTPsqIo2xvlZJgJSy+a3z0RrpqsxXLEjeg9XXf9tZ3VSD1wVNdFmz8ZAnS0 0uD1xrT/WKwWU0pAp5JguA9xuWkuoKeQfxUEC1HJM8E7XBuP8m67l9NibREDOA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1615900290; a=rsa-sha256; cv=none; b=hQwyFppYK0Sp65x6DCkotqNgt3wer+v3Z6/HWLCoCjHoJ0uqcuB8r1LuhVSHlNz39VmVnG RwmWs/RzdkgfL4qFv3PH0UQDYQ5p7BZpf9XP1JQvSGL0Ix9m60RPPhrC7HKQHGCTmw6zTT X0PWht0L/JW6FoV6woPJe/YxTyfusFXolMWaxZTIpjd+qhK5qiStfpW7zAcAKNNwCwRjFB P5VucBF2mO0pchA0hD5iIKBz/MGiCeFYUNCPOORcefyTifxi0DzDy2wsyIByppR6kN9JdO 5pPK1zvO4bqvgPxvzaGnJBadD4pki+HfHooJ5yfczv3R7SU9UPKqgC2HPOK9oA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=zaclys.net header.s=default header.b=od+a5VIu; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: -3.50 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=zaclys.net header.s=default header.b=od+a5VIu; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: E97AD19A32 X-Spam-Score: -3.50 X-Migadu-Scanner: scn0.migadu.com X-TUID: bZyROIUnjsFx --=-5s/c1VuwHAUtFtQN1Dui Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Tue, 2021-03-16 at 13:58 +0100, zimoun wrote: > Adding the manifest option to "guix lint", is it not enough? I do > not > know how many packages you have in your operating-system definition > but from my understanding your user-wide packages should be in > manifest.scm files, and you could also maintain a manifest.scm file > for your packages system-wide. Anyway. >=20 > Here an example with an hard-coded path, saved in /tmp/manifest-from- > os.scm: >=20 > --8<---------------cut here---------------start------------->8--- > (use-modules > (gnu system) > (guix profiles)) >=20 > (define os > (load "/home/simon/src/guix/guix/gnu/system/examples/bare- > bones.tmpl")) >=20 > (define pkgs (operating-system-packages os)) >=20 > (packages->manifest pkgs) > --8<---------------cut here---------------end--------------->8--- >=20 > Then "guix refresh -m /tmp/manifest-from-os.scm" should do the job. > Well, it is an example, the point is simply to show that an option is > not necessary, IMHO. However, a robust script could be in etc/ with > some other tools and with a line in the manual. Maybe. :-) > It seems better to keep separated what operates on packages and what > operates on system. >=20 >=20 > Cheers, > simon You are right that looks great! --=-5s/c1VuwHAUtFtQN1Dui Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEFIvLi9gL+xax3g6RRaix6GvNEKYFAmBQrlcACgkQRaix6GvN EKZcUg/9G1Mx5zJe3v9bMjTieDBMLp40S/5+KF+EKPNXT8p09Oznw1q2kz3t514B 9RLDvxGiXQ433IwMRcPw6rkQ+4GiPTf3j74EAyCKo1n/CHB3/1yCM5uDdWEoVwx2 iXGg0UhZH0i/Hpmq00QtUM6xVoUjtVvRO/TNQmqcxlaSNJNUBsh8zKtqgWNQx1AB 7CDsi3XiktOYbxrIyxXT7M1H9ZGgSPapIGEkKCp9pYb3N8Kh9ELVDzdaWBHfQLP2 IE5vGo2Te6hWM8FLOtVc1FXP/33ld5BnDXkMAC8l+aosIdcLaQTUODCIGbrxzkP2 I1r8MP1C0lOPdllpPITzkl8OjhXxJJ+OH0Xg7YxTELPmHXv+N7cmC5Grav1wVddS wLcdtwBnybu+dREYWf3QeZZr5UUlVpMbQ8+T43QBrlqh2OLx28Yff7J7BL7SMJcx +R/dPon5eQqo/zhOI01e774fl+v4V18ccK1KZ51XNGJwiAOQ7F0deSQQt8lvRgd2 kbNO/nVSY0NpgkCQ1Z/5bFodEDoIPNfQTkWnMBFN7KmrY4c0/vhdy/2w8ogKUNbH uiIKeO3w2dNbhbB66reF5fAknYPjmHtJDbW/4hZ4EDYyjm5Lb3nLA705DjQEqOxK w5N4TVs56DLjyQ/Ht2FHQnvnSBU+PlZeCZ5SI0N5muF98XooVhg= =Bw0C -----END PGP SIGNATURE----- --=-5s/c1VuwHAUtFtQN1Dui--