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 KPRpAfVwTGA0OQAA0tVLHw (envelope-from ) for ; Sat, 13 Mar 2021 07:59:49 +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 KG/BOPRwTGBFUAAAB5/wlQ (envelope-from ) for ; Sat, 13 Mar 2021 07:59:48 +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 B09891D3EC for ; Sat, 13 Mar 2021 08:59:48 +0100 (CET) Received: from localhost ([::1]:38118 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lKzBb-0005gb-Qq for larch@yhetil.org; Sat, 13 Mar 2021 02:59:47 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:49774) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lKzBS-0005gV-M9 for guix-devel@gnu.org; Sat, 13 Mar 2021 02:59:39 -0500 Received: from mout-p-102.mailbox.org ([80.241.56.152]:43264) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from ) id 1lKzBQ-0001fE-1h for guix-devel@gnu.org; Sat, 13 Mar 2021 02:59:37 -0500 Received: from smtp1.mailbox.org (smtp1.mailbox.org [IPv6:2001:67c:2050:105:465:1:1:0]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-102.mailbox.org (Postfix) with ESMTPS id 4DyFT0717dzQjmh; Sat, 13 Mar 2021 08:59:32 +0100 (CET) X-Virus-Scanned: amavisd-new at heinlein-support.de DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=6xq.net; s=MBO0001; t=1615622371; h=from:from: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; bh=iC0WRqXPZ1H3+08XOoPxNLn9jvMW33ituO9UiKbPZqI=; b=0x+zHBVcfqob4URg9jU9tqxRf8Z9GV01BbO7uciBdj7He1qH77xDPfenTA4j+P+sNiamnj bIinC94PSgxaD5hK8NZYE3EGgQJjXg9GwCuu1POwRCYJ52F9o9YCqcIJqwTW8nYRng0ieJ I369ITaJV7NBS78S/E3D7XKACijV/WjYjrDO7tm2gmgCDjr7HP+Ai5RDELbBjZb9UZ6HWe FAeHzUF/tNyWG1P19ZzRv9jA+WfMUEIxtYQX5ZT4tHlpPhDb1BJKyel8lPSF4N1ssIzLC9 9xEUsU8XZ2bUrUQ8jdNHDnTFtJGXD3fvju2Y6LkpbmQK9TEsRCW2XKqUfI8EoA== Received: from smtp1.mailbox.org ([80.241.60.240]) by spamfilter01.heinlein-hosting.de (spamfilter01.heinlein-hosting.de [80.241.56.116]) (amavisd-new, port 10030) with ESMTP id P__ZozqwZtKB; Sat, 13 Mar 2021 08:59:29 +0100 (CET) Date: Sat, 13 Mar 2021 08:59:27 +0100 From: Lars-Dominik Braun To: Pierre Neidhardt Subject: Re: guix environment --profile with --ad-hoc Message-ID: References: <20210309020542.2f5afd65@runbox.com> <8735x4agc5.fsf@ambrevar.xyz> <87r1kkml6m.fsf@ambrevar.xyz> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <87r1kkml6m.fsf@ambrevar.xyz> X-MBO-SPAM-Probability: X-Rspamd-Score: -3.86 / 15.00 / 15.00 X-Rspamd-Queue-Id: D684117CB X-Rspamd-UID: b1ddf7 Received-SPF: pass client-ip=80.241.56.152; envelope-from=lars@6xq.net; helo=mout-p-102.mailbox.org X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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_LOW=-0.7, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 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" , pkill9 Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1615622388; 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=iC0WRqXPZ1H3+08XOoPxNLn9jvMW33ituO9UiKbPZqI=; b=nhVTgLiVv6AtKSD+AL7I81I16r7mjmgBZd3zF+J+Lu4h9qZCQaTF+aKUG1qUQEeNk65VjS Kj9BdsSImGR2+pDSbn9Fy5mm6rFVmkA7ps6i34SrZzF/yfFG6X1yZtJqBz7AooXDDjXKQv qQf4F8IpHklgfRwRyuQfGUXbp2qogBAq1N8m/+PH19jwa4v4QACnEIMNq0HzaB2k8wQnle zOmYO11ZhMZbA0g9asHMBUSCNem4i66K/i+kDkKkOXYCGeMOzfKPTJdRMqodY05uMNnOVn fmMkqZUaKEkLUjwSPMNORQhEyZk5ZNqyGd9mgZEfUa7qAZzbFjLbDWGXGubN0Q== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1615622388; a=rsa-sha256; cv=none; b=HkZ4v6us9m3SNKZBd4OmocDBKqdV9alVTFYnTISJszoXGdX/OEriYOA5UodKt1dZY8Uo8e 9CUl11IwcRgmRl2Atio8RBG2sqEYr5cveVVNIfUDVygAdyzi7KxDplGbrOS3hfVAKtkoHg /fBtBZvi+dTaHcpQaK3TAAGqcVeOhJWQOdd217PsZ4L+H8EA/F1XHjZw0dztElFozOpoCZ BpHnZd7dZIs5BdIa+KelmAoS+/iS59F0/UCMjcG3YWplLWAAjJlNlgEI8wgUHy+iPnWfdL c+lYf2Vz0JW8qtM+ywAd3fZoA0CdzVjmuPmnwkVUJyY0p4lgWAThfDf99YTh8w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=6xq.net header.s=MBO0001 header.b=0x+zHBVc; dmarc=fail reason="SPF not aligned (relaxed)" header.from=6xq.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Spam-Score: 0.21 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=6xq.net header.s=MBO0001 header.b=0x+zHBVc; dmarc=fail reason="SPF not aligned (relaxed)" header.from=6xq.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Queue-Id: B09891D3EC X-Spam-Score: 0.21 X-Migadu-Scanner: scn0.migadu.com X-TUID: Hu6Unle1JzEc Hi Pierre, > Instead, I'd like the following behaviour: > […] hm, I feel that’s unnecessarly complex with lots of if’s and else’s. If I could design the frontend from scratch, I’d have one command that does profile/environment manipulation (because they’re essentially the same) and one that can set them up for use. In that world you’d do $ guix environment $(guix profile -m manifest.scm -i additional-package) to get a temporary profile/environment and # add a few packages $ guix profile -p /path -m manifest.scm -i additional-package /path # remove one $ guix profile -p /path -r additional-package /path # enter env $ guix environment /path $ ^D # enter using container $ guix environment -C --user=joeuser /path $ ^D to get a persistent environment and entering it without fiddling with -r vs. -p vs. package options. In this case `guix environment` does not know anything about packages and can only operate on existing profiles. Maybe it’s possible to do profile inheritance like this too: $ guix profile -p /new/profile -i /old/profile additional-package /new/profile which would be the union of /old/profile and {additional-package}. Cheers, Lars