From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:1008:1e59::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id iEV0DlwqgmWSBgEAkFu2QA (envelope-from ) for ; Wed, 20 Dec 2023 00:42:20 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id EHaoCFwqgmXuRwAA62LTzQ (envelope-from ) for ; Wed, 20 Dec 2023 00:42:20 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=elephly.net header.s=zoho header.b=S3+i6cku; 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"; dmarc=none; arc=pass ("zohomail.com:s=zohoarc:i=1") ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1703029340; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=b8db4UzbbOGOJyMjLbu4di5s0uFOwwk6rpmCavnVzoM=; b=JVzW9X7BxT6RdtjQ0D2Bb6VgJlgENZ4bJGQfurRTZEdTZpuXi1xP8bRN+whwU+8+sgDaIR PiSqy8kgnO8oyeaFHSbSO68tZYR7QsLS2eb+OLAioHGxaaz2b2xSLzbTAU+BVytvwvvOfe Kl02dvZwV6q3NCU9A0gs2KzQqiGzUExhshSn/RzQ3+nCG3Z7oOITUbh/dF/GFWUQxkFvCb kU5x3hONm9lw6Y+Tlg63af5Md9MWgy3F44CZbMbhqaco77jZr3NDe12rxU5nwNWtuKiXUv vrdDWPq07tf0PwtxmwGbwdRX8qv7a/YSFAm9kY/INB16YQVQBDITHQzmxrIn8Q== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=pass header.d=elephly.net header.s=zoho header.b=S3+i6cku; 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"; dmarc=none; arc=pass ("zohomail.com:s=zohoarc:i=1") ARC-Seal: i=2; s=key1; d=yhetil.org; t=1703029340; a=rsa-sha256; cv=pass; b=bUoT0ejN16k1KukMmZc5llms1GeyueVuZ/OQoyAL1H8j3PjURjznBejdxB++cjEOghsOAb 7xORVA9e4+92xRQovD1K3uqFeVuVqoX+yJBVX3Y5/NHLHba7UaaTY91S2ynhTbL3BMO5wE cgN1C/kC67eQ4biM8LEBQWe9nyhB85/RPT30ody5ujP79I4zZ6/sBVEAs4tlU1XKsUsmo/ x74qAcFpoz93/sB4gAMJIi/LGGr4G9BWythCIVTzYaVzs9PUjMe9FWAobIwLs+1yz9jXbs cq/OKxCI3rzCc0QYzq81IDi7Gljb2MEa02ENYPXwkqyjHZt1z9qdwuRhO8aZpg== 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 029275EF0D for ; Wed, 20 Dec 2023 00:42:19 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rFjiR-0001wj-KZ; Tue, 19 Dec 2023 18:41:36 -0500 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 1rFjiP-0001wV-RI for guix-devel@gnu.org; Tue, 19 Dec 2023 18:41:34 -0500 Received: from sender4-of-o50.zoho.com ([136.143.188.50]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rFjiO-0002Fi-2M for guix-devel@gnu.org; Tue, 19 Dec 2023 18:41:33 -0500 ARC-Seal: i=1; a=rsa-sha256; t=1703029286; cv=none; d=zohomail.com; s=zohoarc; b=dFkqrObkfE/7+cRTJmqCJBtJ0957LWayJajElEDlmO4LfXZfyCpW5TlNZozQXwA/oPn3AzJbh+ipL6KZophDNEa1bcd/6btPCT8GZDSjm4tbFul8WtniVf4FB4R/uiOwS+7osHVVTWfHrxKj5UG4fddGb00NZzL4l0w6vxjQFWM= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1703029286; h=Content-Type:Content-Transfer-Encoding:Date:Date:From:From:MIME-Version:Message-ID:Subject:Subject:To:To:Message-Id:Reply-To:Cc; bh=b8db4UzbbOGOJyMjLbu4di5s0uFOwwk6rpmCavnVzoM=; b=MuImkJZpfohDpi2lvz2xEOkMHf+ypUgp2y1YqaRFIvrxUNmkFZGpCn/h2j3zlabapliOOtwxyc/gUAHb5FyO908rSUQBdsYZN4suFgUyG29UiBKWQ8UiZO3Xhrxhj4JtXOX0wSSCMaUMqDUjsLznn2BbngzuKj3iQ7fHI9b2hJM= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1703029286; s=zoho; d=elephly.net; i=rekado@elephly.net; h=From:From:To:To:Subject:Subject:Date:Date:Message-ID:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-Id:Reply-To:Cc; bh=b8db4UzbbOGOJyMjLbu4di5s0uFOwwk6rpmCavnVzoM=; b=S3+i6ckuS3rnhpWtrjXathxtaP4o9V2gKiPN1wEr4Sf8zSXEB2RSFhlvR2ZwSe9o iGZZ8l46sDEab8Zr49Vkvd95XCkKZYtdqeNuj1UjsmWL9uUEL1cE1zAg+dF0JU4CzZE mIsGrCWZpS75umPjd0La4rUuzYbZWWyyjQFXgLYQ= Received: from localhost (i5E862D5D.versanet.de [94.134.45.93]) by mx.zohomail.com with SMTPS id 17030292849911023.0170378340047; Tue, 19 Dec 2023 15:41:24 -0800 (PST) User-agent: mu4e 1.10.8; emacs 29.1 From: Ricardo Wurmus To: guix-devel@gnu.org Subject: Computing a derivation for a profile Date: Wed, 20 Dec 2023 00:37:24 +0100 Message-ID: <8734vxiwv2.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-ZohoMailClient: External Received-SPF: pass client-ip=136.143.188.50; envelope-from=rekado@elephly.net; helo=sender4-of-o50.zoho.com 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_H4=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: 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: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -7.52 X-Spam-Score: -7.52 X-Migadu-Queue-Id: 029275EF0D X-Migadu-Scanner: mx10.migadu.com X-TUID: RNYfWu6ara7I Hi Guix, I would like to compute a derivation for a profile specified by a manifest. I do not (yet) want to actually build that derivation. This seems like a simple thing to do, but I haven=E2=80=99t been able to accomplish this. Here is one of the things I=E2=80=99ve tried in =E2=80=9C= guix repl=E2=80=9D: --8<---------------cut here---------------start------------->8--- (begin (use-modules (gnu packages) (guix) (guix profiles)) (derivation-file-name (with-store s (run-with-store s (lower-object (profile (content (specifications->manifest (list "texlive-collection-latex" "texlive-collection-latexextra" "texlive-collection-latexrecommended" "texlive-collection-fontsrecommended" "texlive-pgf"))))))))) --8<---------------cut here---------------end--------------->8--- Unfortunately, lowering this profile object appears to invariably result in substitutes for all these texlive packages to be downloaded, even though I only want to get the derivation. Am I doing something wrong here? Is this supposed to work? Is this a regression? --=20 Ricardo