From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id OGi4HxRF4WPccgAAbAwnHQ (envelope-from ) for ; Mon, 06 Feb 2023 19:21:08 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id mL6nHxRF4WPvAAEAauVa8A (envelope-from ) for ; Mon, 06 Feb 2023 19:21:08 +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 1C22417B8B for ; Mon, 6 Feb 2023 19:21:08 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pP66L-0007e4-Bk; Mon, 06 Feb 2023 13:20:25 -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 1pP66I-0007dL-Iz for help-guix@gnu.org; Mon, 06 Feb 2023 13:20:23 -0500 Received: from mail-wr1-x42a.google.com ([2a00:1450:4864:20::42a]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pP66G-0007wT-5y for help-guix@gnu.org; Mon, 06 Feb 2023 13:20:22 -0500 Received: by mail-wr1-x42a.google.com with SMTP id i5so4069802wrc.0 for ; Mon, 06 Feb 2023 10:20:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=im7JU4jD5PP33GM1HkjLXPONxYX3pfOVvt53rqQ4SZg=; b=aCY+ekc0mE/1VNrIRwJOo5B77UmN2j72H+LHBL94kvikwfjXTrl7X5JiuktveYWtke PjYzMF362WTalz/8MWEhU4Rys+nmiHZlpfAimm6p+DQVojsG/wNyOUvB5TPQ4Eys8rFT rjQa4bncWugy+6KkfMBd66vcKxCD0KxOS2NYRn+H+dL+YY9t6qgn9/zLbprYWa7WcAch 4wXHST57nbkpZZOmFVUwWk1mOkdY/z5bIKzwnY1vm7xUbW6HljaCmfBhv91smFNi3gyz 3nVccmxFW2dc9FurHNM24wcG1wJRC9DCi09gcwinvmI3K75keSzq1UJNdx8qVRYBVByG EPjQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=im7JU4jD5PP33GM1HkjLXPONxYX3pfOVvt53rqQ4SZg=; b=fHEnRQRzDaqV1EsXJgM17NU7orh6FCFr3AMxYIcBuVAvOmmhUBoTU5TreAoml4nLtB qI3IrdGFawnVM/a7lkMGDCTCPPusytw02o2taCmIrKgP9k6I0IKwOVZaImcnGQ+f7orl NcXRXF7oPBLQtZoYM6hTVcH7P3PlrFHoxvlF46O4LKNBAJhAkOxLdzgAhuFvQtOnqVqr 8AHsuHiIEk/dE93LmGkS4agHHsCZrwQbPoXOXP4mG3Veq4XKvXSepbaKvKRDlxNXlySp sIcBvz4DXqiho2gc+L1IVX78JcUmUhWzOpnV5ojQg/4DhaLCGHgX06B2jJzRY1yIOdmC r+hA== X-Gm-Message-State: AO0yUKUdbxF4kCqdRVVcFs14up1l59I/uKW2CB3Z4i4+7O4445YGDvfV hglyd3MD29Lc68jE6tl5Onanu6osRKs= X-Google-Smtp-Source: AK7set/0pMt5i7VqTKrDauptxIWCX+iaZ9KcTu5L5qog4YXIEguGuw+yeY1jSPuD5XrOA33QoCeUOw== X-Received: by 2002:a05:6000:1843:b0:2bf:df72:fdfe with SMTP id c3-20020a056000184300b002bfdf72fdfemr22670289wri.2.1675707618679; Mon, 06 Feb 2023 10:20:18 -0800 (PST) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id i14-20020a0560001ace00b002bfb8f829eesm9940555wry.71.2023.02.06.10.20.18 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 06 Feb 2023 10:20:18 -0800 (PST) From: Simon Tournier To: Kyle Andrews Cc: Gottfried , Csepp , Wojtek Kosior , help-guix@gnu.org Subject: Re: attempt to create a profile In-Reply-To: <877cwx6kdh.fsf@posteo.net> References: <00645283-6540-ea05-aba2-8997d32b16c1@posteo.de> <87fscnis4q.fsf@gmail.com> <877cwx6kdh.fsf@posteo.net> Date: Mon, 06 Feb 2023 18:21:48 +0100 Message-ID: <87357ik8ur.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::42a; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x42a.google.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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 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-Seal: i=1; s=key1; d=yhetil.org; t=1675707668; a=rsa-sha256; cv=none; b=BUxhJwXFpV4GDS1rF4oMZ20M6kAK6454OkZXCaGAi/CeVE0+QSq9/yEL0GcpEWL9BTUlyV 8R9RDZckyOWD+dSL/QTjrEti8BU5tnPPVeLA4oiEANnUQg0aAMPxhfwQQVzVi4EDQFAnM8 yADR8lwSuaxg99l0deEJtspoZdUx1ECM/c7yPZ+BOsQETl2QqgVrjPtbaM5yHuR5Bui3xb 3p/zFDZiSRTO+YEV484rLkWKHek4bFau+u8IgMGSZt2AR45qjWhbG5zPE3gpGyCvR/11B6 nbphLlpxDQDWE6OyOG4keoH5GeisX5rqWW1K36mRkq0fIJzj3VoWTYdYY8q/Dw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=aCY+ekc0; dmarc=pass (policy=none) header.from=gmail.com; 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-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1675707668; 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=im7JU4jD5PP33GM1HkjLXPONxYX3pfOVvt53rqQ4SZg=; b=cO0Oe3ZXVWy9h3k9ouDcDZ8i8kKZAGm7YHtuIGPqsSbeSzFd2o8D7/OzFe+BK3PeWFzH3N cjSdOD/QULT+dFxKkg7oq6Gqnm0ef6f9iT4kKnfiK7qP0PAqiVSSymy0a1JVZHK1GHCBYw IAgUCsHmMATyKub7mgzQnflRVIX1t+EPD8w9byUTfVE4TtjSW2lmhuhBbsMnz4Ag78u/+p LaosyL0CXUtqzkPCsnaXMEoAuEHcyDL2WEuSxnFve38K4AEgvuIgcOvBUGi/RpGDQ92iiq 0rO6ICU+NSlbmuGzpkddNg4Gh+jmm5PxXSwRa1df/5GShTPJD6RS4jce134eKQ== Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=aCY+ekc0; dmarc=pass (policy=none) header.from=gmail.com; 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" X-Migadu-Scanner: scn1.migadu.com X-Migadu-Spam-Score: -4.78 X-Spam-Score: -4.78 X-Migadu-Queue-Id: 1C22417B8B X-TUID: Prs4/2GY3BKE Hi, On sam., 04 f=C3=A9vr. 2023 at 23:36, Kyle Andrews wrote: >> guix shell -p path/to/some-profile/etc/profile This command is incorrect and it should read instead, guix shell -p path/to/some-profile but anyway, it was the idea. :-) > Is it possible to use guix shell to activate multiple existing profiles > in a particular order to explicitly test for incompatibilities when > combining profiles? Well, I am not aware about a way to compose some profiles with =E2=80=9Cguix shell=E2=80=9D. Indeed, it should be possible, IMHO. But I have not check= ed if it is technically possible. Maybe it is already. :-) > In conclusion, I'm a bit surprised that activating multiple profiles at > once is so easily found and recommended in the cookbook. It seems to me > like there are many underemphasized gotchas with respect to > reproducibility and usability which come from it and as far as I can > tell, the main developers of Guix do not use it that way. If it is going > to be recommended as atleast a possibility for advanced users, then it > would be nice to be able to formally test that usage through ~guix shell~. I am using multiple profiles and I barely hit collisions. Given one specific revision of Guix, collisions should not be possible =E2=80=93 it m= eans something is wrong somewhere with package definition; although, maybe it is impossible to avoid some collisions with large number of packages, anyway. :-) Most of the time, collisions happen when the profile are coming from different revision of Guix. And try to combine several profiles from different revision is, IMHO, some source of troubles impossible to solve. That=E2=80=99s said, yes I would also like being able to combine several profiles and also extend the result. Cheers, simon