GNU bug report logs

#54350 'guix shell' skips profile collision checks

PackageSource(s)Maintainer(s)
guix PTS Buildd Popcon
Full log

Message #33 received at 54350@debbugs.gnu.org (full text, mbox, reply):

Received: (at 54350) by debbugs.gnu.org; 16 Jan 2024 18:36:38 +0000
From debbugs-submit-bounces@debbugs.gnu.org Tue Jan 16 13:36:38 2024
Received: from localhost ([127.0.0.1]:49750 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1rPoIg-0008D0-Bu
	for submit@debbugs.gnu.org; Tue, 16 Jan 2024 13:36:38 -0500
Received: from mail-4323.proton.ch ([185.70.43.23]:14473)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <suhail@bayesians.ca>) id 1rPoId-0008Cm-Fr
 for 54350@debbugs.gnu.org; Tue, 16 Jan 2024 13:36:37 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=bayesians.ca;
 s=protonmail2; t=1705430187; x=1705689387;
 bh=xGfQQMQQd7BSPGTqJb1pZ97KRLMHRfdg5K+bEhdL6Hk=;
 h=Date:To:From:Subject:Message-ID:Feedback-ID:From:To:Cc:Date:
 Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector;
 b=qosQrUfHAnAL/YkYSdYc+j7Ecxpw0vj6mTHPsICmRjWs40kjpnoOaGHqCakS+HqmD
 W46R0RzsQ1huVeBuNb4RQKBEdOg+82ERVsU+at6OCzpQDERhzODMmKNvrRJ5n8ikdb
 OCZJ1sqx339eD03V34CuDI4sMC8TlptdPUP2Vw0eST5OPs5GtOsj1G0o9jI1Cxso/k
 0RXfNAwbp2ZoXtaZfG0kDuCh2K/GmC6ib6M/l4c329K2Zj/nxijU5d5mHTmRlfa/1+
 NCYu+3a86320ggIdslENkzll8bNXn+7jpc/hcGuAGlNuPALmDBOHXyov6Hz1WDB2H/
 m/4ObsRDVkLWw==
Date: Tue, 16 Jan 2024 18:36:04 +0000
To: 54350@debbugs.gnu.org
From: Suhail <suhail@bayesians.ca>
Subject: bug#54350: Profile collisions in "guix shell"
Message-ID: <87wms9nn1p.fsf@>
Feedback-ID: 38691229:user:proton
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 1.2 (+)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 Content preview:  Hello Guix,
 I came across this issue the other day when attempting
 to create a profile that could act as a development environment for Guix.
 In addition to noting my observations below, I'd like to understand why [...]
 Content analysis details:   (1.2 points, 10.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 0.0 RCVD_IN_MSPIKE_H5      RBL: Excellent reputation (+5)
 [185.70.43.23 listed in wl.mailspike.net]
 -0.0 SPF_PASS               SPF: sender matches SPF record
 -0.0 SPF_HELO_PASS          SPF: HELO matches SPF record
 0.0 RCVD_IN_MSPIKE_WL      Mailspike good senders
 1.2 INVALID_MSGID          Message-Id is not valid, according to RFC 2822
 -0.0 T_SCC_BODY_TEXT_LINE   No description available.
X-Debbugs-Envelope-To: 54350
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: 0.2 (/)
Hello Guix,

I came across this issue the other day when attempting to create a
profile that could act as a development environment for Guix. In
addition to noting my observations below, I'd like to understand why
there are collisions in a *new* profile tasked with installing the
dependencies of guix?  Is this a bug?

The [documentation] notes the below command to start "a new shell where
all the dependencies and appropriate environment variables are set up to
hack on Guix":

#+begin_src sh
  guix shell -D guix -CPW
#+end_src

Using guix-shell to export the manifest corresponding to the above one
gets:

#+header: :tangle ./manifest.scm
#+begin_src scheme
  ;; What follows is a "manifest" equivalent to the command line you gave.
  ;; You can store it in a file that you may then pass to any 'guix' command
  ;; that accepts a '--manifest' (or '-m') option.
  (package->development-manifest
    (specification->package "guix"))
#+end_src

Saving the above to manifest.scm and evaluating the below:

#+begin_src sh
  mkdir -p ${GUIX_EXTRA_PROFILES}/guix-build-2
  guix package -p ${GUIX_EXTRA_PROFILES}/guix-build-2/guix-build-2 -m ./manifest.scm
#+end_src

Results in the following error:

#+begin_example
  ...
  guix package: error: profile contains conflicting entries for bzip2
  guix package: error:   first entry: bzip2@1.0.8 /gnu/store/4jkvfh9hp9zf9plrcw490ci6vpvc033d-bzip2-1.0.8
  guix package: error:   second entry: bzip2@1.0.8 /gnu/store/0ngy7fmrp9g3q35wwccnjxzaaqq9f8wi-bzip2-1.0.8
  hint: You cannot have two different versions or variants of `bzip2' in the same profile.
#+end_example

Adding --allow-collisions to match guix-shell behaviour makes the
installation succeed, as expected.

[documentation]: <https://guix.gnu.org/en/manual/devel/en/guix.html#Building-from-Git>

-- 
Suhail

This email is not an offer capable of acceptance, does not evidence an
intention to enter into an agreement, has no operative effect until a
definitive agreement is signed in writing by both parties, and that no
party should act in reliance on the email or any representations of the
sender until a definitive agreement is signed in writing by both
parties.





Send a report that this bug log contains spam.


debbugs.gnu.org maintainers <help-debbugs@gnu.org>. Last modified: Sun Dec 22 11:16:05 2024; Machine Name: wallace-server

GNU bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.