GNU bug report logs - #44327
`guix install` doesn't warn about collison in profile

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: guix; Reported by: Zhu Zihao <all_but_last@HIDDEN>; Keywords: notabug; Done: Ludovic Courtès <ludo@HIDDEN>; Maintainer for guix is bug-guix@HIDDEN.
bug closed, send any further explanations to 44327 <at> debbugs.gnu.org and Zhu Zihao <all_but_last@HIDDEN> Request was from Ludovic Courtès <ludo@HIDDEN> to control <at> debbugs.gnu.org. Full text available.
Added tag(s) notabug. Request was from Ludovic Courtès <ludo@HIDDEN> to control <at> debbugs.gnu.org. Full text available.

Message received at 44327 <at> debbugs.gnu.org:


Received: (at 44327) by debbugs.gnu.org; 4 Nov 2020 17:16:01 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Nov 04 12:16:00 2020
Received: from localhost ([127.0.0.1]:50479 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1kaMO8-00085b-MF
	for submit <at> debbugs.gnu.org; Wed, 04 Nov 2020 12:16:00 -0500
Received: from eggs.gnu.org ([209.51.188.92]:58744)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ludo@HIDDEN>) id 1kaMO6-00085P-Bx
 for 44327 <at> debbugs.gnu.org; Wed, 04 Nov 2020 12:15:59 -0500
Received: from fencepost.gnu.org ([2001:470:142:3::e]:43900)
 by eggs.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <ludo@HIDDEN>)
 id 1kaMNz-0006kR-4j; Wed, 04 Nov 2020 12:15:51 -0500
Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=56810 helo=ribbon)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <ludo@HIDDEN>)
 id 1kaMNy-00070S-78; Wed, 04 Nov 2020 12:15:50 -0500
From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN>
To: Zhu Zihao <all_but_last@HIDDEN>
Subject: Re: bug#44327: `guix install` doesn't warn about collison in profile
References: <86v9esc691.fsf@HIDDEN> <87blgjy9ea.fsf@HIDDEN>
 <CAJ3okZ2UpyD6PexzNaU4J3OyvY0KBycuL7-Xdn4a4gBjo+4V1g@HIDDEN>
 <86blgdao67.fsf@HIDDEN>
X-URL: http://www.fdn.fr/~lcourtes/
X-Revolutionary-Date: 14 Brumaire an 229 de la =?utf-8?Q?R=C3=A9volution?=
X-PGP-Key-ID: 0x090B11993D9AEBB5
X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc
X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4  0CFB 090B 1199 3D9A EBB5
X-OS: x86_64-pc-linux-gnu
Date: Wed, 04 Nov 2020 18:15:48 +0100
In-Reply-To: <86blgdao67.fsf@HIDDEN> (Zhu Zihao's message of "Wed, 04 Nov
 2020 09:47:12 +0800")
Message-ID: <87o8kd6o1n.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 44327
Cc: 44327 <at> debbugs.gnu.org, zimoun <zimon.toutoune@HIDDEN>
X-BeenThere: debbugs-submit <at> 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 <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

Zhu Zihao <all_but_last@HIDDEN> skribis:

>> > I also suggest to raise an error when conflict detected during building
>> > profile to force user to resolve it.
>
>> It should be already the case. :-)
>
> IIRC the deafult collision handler of union-build is
> warn-about-collision which doesn't terminate the build when collision
> occured.

We=E2=80=99re talking about different things.  Whatever happens during
=E2=80=98union-build=E2=80=99 happens too late and won=E2=80=99t lead to us=
er-friendly errors.

I was referring to the mechanism implemented a while back and submitted
here:

  https://issues.guix.gnu.org/27271

> BTW, There's something called "priority" in Nix. The package with higher
> priority in manifest will be able to override the package with lower one.=
=20

My experience with it (from 8+ years ago, though) is that it was
inconvenient and not natural=E2=80=94as a user you don=E2=80=99t want to as=
k yourself
which package should have the highest priority, you just want to have
these things installed.

The approach we took is to error out, with a clear diagnostic, when Guix
knows beforehand that two packages cannot coexist in the same profile.

Thanks,
Ludo=E2=80=99.




Information forwarded to bug-guix@HIDDEN:
bug#44327; Package guix. Full text available.

Message received at 44327 <at> debbugs.gnu.org:


Received: (at 44327) by debbugs.gnu.org; 4 Nov 2020 01:47:33 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Nov 03 20:47:32 2020
Received: from localhost ([127.0.0.1]:46900 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1ka7tc-0004Rt-NI
	for submit <at> debbugs.gnu.org; Tue, 03 Nov 2020 20:47:32 -0500
Received: from mail-m971.mail.163.com ([123.126.97.1]:58704)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <all_but_last@HIDDEN>) id 1ka7tZ-0004Rf-Gn
 for 44327 <at> debbugs.gnu.org; Tue, 03 Nov 2020 20:47:31 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=163.com;
 s=s110527; h=From:Subject:Date:Message-ID:MIME-Version; bh=Wq7iE
 nzFCfMFAR1BowDAf+5SNJCDyB99aYPMSKrEok8=; b=QxAPPZsp5cEXuC9qkxYC3
 n651PnRx9LC6bEsnsTOf0EVROBGnUSf6jP1v/B8eHACR9mBfm8WfcD3meRs7mxK1
 QVprmxvKBvoLerveQ2kmJZx1r8GHETJ32UqgGnwJgkk9lKoNKBXKmvQTQJrn2WW6
 i2SlaWZxyvDmtSVOwqZqkw=
Received: from asus-laptop (unknown [112.93.142.125])
 by smtp1 (Coremail) with SMTP id GdxpCgB3KnQkCKJfZkUHAA--.82S2;
 Wed, 04 Nov 2020 09:47:22 +0800 (CST)
References: <86v9esc691.fsf@HIDDEN> <87blgjy9ea.fsf@HIDDEN>
 <CAJ3okZ2UpyD6PexzNaU4J3OyvY0KBycuL7-Xdn4a4gBjo+4V1g@HIDDEN>
User-agent: mu4e 1.4.13; emacs 27.1
From: Zhu Zihao <all_but_last@HIDDEN>
To: zimoun <zimon.toutoune@HIDDEN>
Subject: Re: bug#44327: `guix install` doesn't warn about collison in profile
In-reply-to: <CAJ3okZ2UpyD6PexzNaU4J3OyvY0KBycuL7-Xdn4a4gBjo+4V1g@HIDDEN>
Date: Wed, 04 Nov 2020 09:47:12 +0800
Message-ID: <86blgdao67.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
 micalg=pgp-sha256; protocol="application/pgp-signature"
X-CM-TRANSID: GdxpCgB3KnQkCKJfZkUHAA--.82S2
X-Coremail-Antispam: 1Uf129KBjDUn29KB7ZKAUJUUUUU529EdanIXcx71UUUUU7v73
 VFW2AGmfu7bjvjm3AaLaJ3UbIYCTnIWIevJa73UjIFyTuYvjxU0NtIUUUUU
X-Originating-IP: [112.93.142.125]
X-CM-SenderInfo: pdoosuxxwbztlvw6il2tof0z/xtbCCgvSr12MYmQhZAAAsu
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 44327
Cc: 44327 <at> debbugs.gnu.org, Ludovic =?utf-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
X-BeenThere: debbugs-submit <at> 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 <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

--=-=-=
Content-Type: text/plain
Content-Transfer-Encoding: quoted-printable


> > I also suggest to raise an error when conflict detected during building
> > profile to force user to resolve it.

> It should be already the case. :-)

IIRC the deafult collision handler of union-build is
warn-about-collision which doesn't terminate the build when collision
occured.

BTW, There's something called "priority" in Nix. The package with higher
priority in manifest will be able to override the package with lower one.=20


=2D-=20
Retrieve my PGP public key: https://meta.sr.ht/~citreu.pgp

Zihao

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQFJBAEBCAAzFiEE7NCVzXX6efyusptG1SOVn+xGFqYFAl+iCCAVHGFsbF9idXRf
bGFzdEAxNjMuY29tAAoJENUjlZ/sRhamtuwIAKJ7HuWaW6dongAIOeQ4YARx+qrn
4nzuda66HRQjv/lKfKyXwkxiML8wB1NvCuVpoieVYS5/Jxi/nnYeryZQW6IRdnTf
tKY6Rym5A6Yt0+dw+K2Zi6ojpw2+xE2LUZhKYj6xqcQmZ6ho2y+XgoKcIQPPnMru
qZib5JU0F00cxtWM17v6MXVBT6dHx89nVUJorNyjLc9zxfYmb4w17cIXNdpVhxRK
8/3H7plEU4bA+l/jkDCKTG3fRqCiCC2FCyovgaAoxJ+SQq1XFHpPs9Bs0EpPx8Fs
sD5E6hw30nnSuHGkTQEDDBE44wcZPJ5xxBklgNFJXvbhuOyU7FVbjKhEh7U=
=vjjO
-----END PGP SIGNATURE-----
--=-=-=--





Information forwarded to bug-guix@HIDDEN:
bug#44327; Package guix. Full text available.

Message received at 44327 <at> debbugs.gnu.org:


Received: (at 44327) by debbugs.gnu.org; 31 Oct 2020 10:31:51 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Oct 31 06:31:51 2020
Received: from localhost ([127.0.0.1]:60593 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1kYoAa-0006zo-S3
	for submit <at> debbugs.gnu.org; Sat, 31 Oct 2020 06:31:51 -0400
Received: from eggs.gnu.org ([209.51.188.92]:51400)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ludo@HIDDEN>) id 1kYoAZ-0006zc-Qk
 for 44327 <at> debbugs.gnu.org; Sat, 31 Oct 2020 06:31:36 -0400
Received: from fencepost.gnu.org ([2001:470:142:3::e]:36330)
 by eggs.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <ludo@HIDDEN>)
 id 1kYoAR-0006qV-Br; Sat, 31 Oct 2020 06:31:27 -0400
Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=56840 helo=ribbon)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <ludo@HIDDEN>)
 id 1kYoAQ-0002o0-JV; Sat, 31 Oct 2020 06:31:27 -0400
From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN>
To: zimoun <zimon.toutoune@HIDDEN>
Subject: Re: bug#44327: `guix install` doesn't warn about collison in profile
References: <86v9esc691.fsf@HIDDEN> <87blgjy9ea.fsf@HIDDEN>
 <CAJ3okZ2UpyD6PexzNaU4J3OyvY0KBycuL7-Xdn4a4gBjo+4V1g@HIDDEN>
X-URL: http://www.fdn.fr/~lcourtes/
X-Revolutionary-Date: 10 Brumaire an 229 de la =?utf-8?Q?R=C3=A9volution?=
X-PGP-Key-ID: 0x090B11993D9AEBB5
X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc
X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4  0CFB 090B 1199 3D9A EBB5
X-OS: x86_64-pc-linux-gnu
Date: Sat, 31 Oct 2020 11:31:24 +0100
In-Reply-To: <CAJ3okZ2UpyD6PexzNaU4J3OyvY0KBycuL7-Xdn4a4gBjo+4V1g@HIDDEN>
 (zimoun's message of "Fri, 30 Oct 2020 17:30:27 +0100")
Message-ID: <87o8kivg8z.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 44327
Cc: 44327 <at> debbugs.gnu.org, Zhu Zihao <all_but_last@HIDDEN>
X-BeenThere: debbugs-submit <at> 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 <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

zimoun <zimon.toutoune@HIDDEN> skribis:

> On Fri, 30 Oct 2020 at 17:20, Ludovic Court=C3=A8s <ludo@HIDDEN> wrote:
>
>> Currently, =E2=80=98guix install=E2=80=99 errors out if you try to insta=
ll two
>> same-named packages with a different version number or a different store
>> file name (typically via propagated inputs).
>>
>> Here, =E2=80=98emacs=E2=80=99 and =E2=80=98emacs-xwidgets=E2=80=99 have =
different names, so it doesn=E2=80=99t
>> complain.
>>
>> Perhaps we should offer a way to annotate packages as conflicting with
>> one another?
>
> Why?  The solution seems to check the path names.  Here, the 2
> packages provide 'bin/emacs'; which is the conflict.  However, this
> could be implemented with care otherwise it will slow down.
> I have not check 'union-build' but maybe it is already the case. :-)

Yes, =E2=80=98union-build=E2=80=99 already makes that check, but it happens=
 too late: at
build time.

This is why back in the day we devised a specific collision detection
mechanism that looks at package names/version/store file names, and
which can run before anything has been built:

  https://issues.guix.gnu.org/27271

Ludo=E2=80=99.




Information forwarded to bug-guix@HIDDEN:
bug#44327; Package guix. Full text available.

Message received at 44327 <at> debbugs.gnu.org:


Received: (at 44327) by debbugs.gnu.org; 30 Oct 2020 16:30:45 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Oct 30 12:30:45 2020
Received: from localhost ([127.0.0.1]:59489 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1kYXIb-0007iE-II
	for submit <at> debbugs.gnu.org; Fri, 30 Oct 2020 12:30:45 -0400
Received: from mail-qk1-f174.google.com ([209.85.222.174]:37649)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <zimon.toutoune@HIDDEN>) id 1kYXIa-0007cV-NM
 for 44327 <at> debbugs.gnu.org; Fri, 30 Oct 2020 12:30:45 -0400
Received: by mail-qk1-f174.google.com with SMTP id z6so5378527qkz.4
 for <44327 <at> debbugs.gnu.org>; Fri, 30 Oct 2020 09:30:44 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
 h=mime-version:references:in-reply-to:from:date:message-id:subject:to
 :cc:content-transfer-encoding;
 bh=3L/nbYdkO4WlRaQd8PnmfNddXls63Bn9MCsy/PjCSlU=;
 b=jleXsmJbCt97lfCJ2ZbT0roNzx7su8NZ5pweQuWYpFAED6b6rIbzqWBMrPVjrjaHmz
 4eu/YFgSeAlAzX8aDBEoTl1L7MfZlAe2NhBd7P/6a4LoO39L36qnQmXfUwEkU5xgItkK
 Los/i/HoUz9H1gS7E5NGZyfAobp8VuaOwLONAO0E0mD+UJ/PVhUfP4140TwMflBSp90K
 RBbP9+EjO55mdCnVV4ey/2DgDImsky0NVzz1TXwDB4qcQhTyq7yFAuufRylIJ9YrJr1a
 thjkmHbjwqMutMVj5ruFp1e+QMgj3IBPqpVYRZQwWaXGCsKpjkN4oHBvhfpo1W8wvhGA
 RKsA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20161025;
 h=x-gm-message-state:mime-version:references:in-reply-to:from:date
 :message-id:subject:to:cc:content-transfer-encoding;
 bh=3L/nbYdkO4WlRaQd8PnmfNddXls63Bn9MCsy/PjCSlU=;
 b=skOWNt1sl8ubk270cZE/+jUQMEeCk1xGvdZ8lJIqHMPUz9VWU7tw5FUap8kWJ2pZJh
 Vcr7xfP0jBX4BAiFSjIonIr3CnCPkStw9M7dsc3UzozjqAlSudFfGuJzHAX3at/GU6kz
 J9YNy+vwfgl6NX7EHUsJlF+QlOkRZoHiW4AXTIfGJAYTxilALi6xafS3KJ/l9WuZLmlv
 JU1rBIpnzXsV1bs0p3OQ6XlOl5yjFL/auF+MW4ghIDF9oZ4caANT6uVdw/Ba6lag8by/
 ejdrEIHfg1+MkJkhpYKuOdToERfQ1CsV6kJjXjj8XIxExBfqb9bGhNnhsGlZa74VWPpl
 mPTQ==
X-Gm-Message-State: AOAM533t7FfxgKWZfqZ4LwNTN1ZpKP0dAX3J2rI154LN2/9BEf0rJKgY
 hA0q4leGEvz1W20BWTYfCrj8i3cdgRxAU7fIjKs=
X-Google-Smtp-Source: ABdhPJx4Lqs38fb7uTfzNMOyQSjQqaRua8LxXZyj/00kfgE/IrneHaoH9Nj7jtubrdXRYue8qQYfbZ3q0IItjp8ti1k=
X-Received: by 2002:a37:a84e:: with SMTP id r75mr3045678qke.232.1604075439134; 
 Fri, 30 Oct 2020 09:30:39 -0700 (PDT)
MIME-Version: 1.0
References: <86v9esc691.fsf@HIDDEN> <87blgjy9ea.fsf@HIDDEN>
In-Reply-To: <87blgjy9ea.fsf@HIDDEN>
From: zimoun <zimon.toutoune@HIDDEN>
Date: Fri, 30 Oct 2020 17:30:27 +0100
Message-ID: <CAJ3okZ2UpyD6PexzNaU4J3OyvY0KBycuL7-Xdn4a4gBjo+4V1g@HIDDEN>
Subject: Re: bug#44327: `guix install` doesn't warn about collison in profile
To: =?UTF-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 44327
Cc: 44327 <at> debbugs.gnu.org, Zhu Zihao <all_but_last@HIDDEN>
X-BeenThere: debbugs-submit <at> 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 <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

On Fri, 30 Oct 2020 at 17:20, Ludovic Court=C3=A8s <ludo@HIDDEN> wrote:

> Currently, =E2=80=98guix install=E2=80=99 errors out if you try to instal=
l two
> same-named packages with a different version number or a different store
> file name (typically via propagated inputs).
>
> Here, =E2=80=98emacs=E2=80=99 and =E2=80=98emacs-xwidgets=E2=80=99 have d=
ifferent names, so it doesn=E2=80=99t
> complain.
>
> Perhaps we should offer a way to annotate packages as conflicting with
> one another?

Why?  The solution seems to check the path names.  Here, the 2
packages provide 'bin/emacs'; which is the conflict.  However, this
could be implemented with care otherwise it will slow down.
I have not check 'union-build' but maybe it is already the case. :-)



All the best,
simon




Information forwarded to bug-guix@HIDDEN:
bug#44327; Package guix. Full text available.

Message received at 44327 <at> debbugs.gnu.org:


Received: (at 44327) by debbugs.gnu.org; 30 Oct 2020 16:19:05 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Oct 30 12:19:05 2020
Received: from localhost ([127.0.0.1]:59453 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1kYX7J-0006iB-CO
	for submit <at> debbugs.gnu.org; Fri, 30 Oct 2020 12:19:05 -0400
Received: from eggs.gnu.org ([209.51.188.92]:50456)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ludo@HIDDEN>) id 1kYX7I-0006hc-Am
 for 44327 <at> debbugs.gnu.org; Fri, 30 Oct 2020 12:19:04 -0400
Received: from fencepost.gnu.org ([2001:470:142:3::e]:47683)
 by eggs.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <ludo@HIDDEN>)
 id 1kYX7A-0008Ah-Tv; Fri, 30 Oct 2020 12:18:57 -0400
Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=54114 helo=ribbon)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <ludo@HIDDEN>)
 id 1kYX79-0005yx-9K; Fri, 30 Oct 2020 12:18:55 -0400
From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN>
To: Zhu Zihao <all_but_last@HIDDEN>
Subject: Re: bug#44327: `guix install` doesn't warn about collison in profile
References: <86v9esc691.fsf@HIDDEN>
Date: Fri, 30 Oct 2020 17:18:53 +0100
In-Reply-To: <86v9esc691.fsf@HIDDEN> (Zhu Zihao's message of "Fri, 30 Oct
 2020 19:17:46 +0800")
Message-ID: <87blgjy9ea.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 44327
Cc: 44327 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> 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 <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

Hi,

Zhu Zihao <all_but_last@HIDDEN> skribis:

> In commit ba60bbd4370570ff03a16c63af051be06f22658e. Try command
>
>   guix install emacs && guix install emacs-xwidgets
>
> These two packages are conflict with each other, but I can't see any
> warning message emitted(It should emit some because profile-derivation
> use union-build).

=E2=80=98union-build=E2=80=99 emits a warning, but it=E2=80=99s only visibl=
e in build logs.

> I also suggest to raise an error when conflict detected during building
> profile to force user to resolve it.

Currently, =E2=80=98guix install=E2=80=99 errors out if you try to install =
two
same-named packages with a different version number or a different store
file name (typically via propagated inputs).

Here, =E2=80=98emacs=E2=80=99 and =E2=80=98emacs-xwidgets=E2=80=99 have dif=
ferent names, so it doesn=E2=80=99t
complain.

Perhaps we should offer a way to annotate packages as conflicting with
one another?

Thanks,
Ludo=E2=80=99.




Information forwarded to bug-guix@HIDDEN:
bug#44327; Package guix. Full text available.

Message received at 44327 <at> debbugs.gnu.org:


Received: (at 44327) by debbugs.gnu.org; 30 Oct 2020 16:15:36 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Oct 30 12:15:36 2020
Received: from localhost ([127.0.0.1]:59432 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1kYX3w-0006bn-Jk
	for submit <at> debbugs.gnu.org; Fri, 30 Oct 2020 12:15:36 -0400
Received: from mail-wm1-f53.google.com ([209.85.128.53]:36722)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <zimon.toutoune@HIDDEN>) id 1kYX3v-0006bY-26
 for 44327 <at> debbugs.gnu.org; Fri, 30 Oct 2020 12:15:35 -0400
Received: by mail-wm1-f53.google.com with SMTP id e2so3460271wme.1
 for <44327 <at> debbugs.gnu.org>; Fri, 30 Oct 2020 09:15:35 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
 h=from:to:cc:subject:references:date:in-reply-to:message-id
 :user-agent:mime-version:content-transfer-encoding;
 bh=kZ+TgMZ5I47Cat1vXv1Hwa7I2Y9zars7O/DuQWEI1qU=;
 b=My01rHnArL4mkMfl8pr5xDW6J9AxtGDR7HuGVkTM14kjD8OIhMDZafnQhUJ0kjWGtO
 ZIk8JSEBZS9zclPhhGMsuVNpzDs3wNlcbPOSAAnCOBGxqeVFv2YKkOy/qi4fxhXXeYAs
 XSmzrLJuLM5UOR40IwPF+D1MQt3cLWip/nT8e/dk3i6fBmpqehx1KMjJG/jXMN0sVuRJ
 6Yj1HKSZ7bSrD1ckdikS3rw3sjDcHEBtKiuoGTSHFXHdD4HN7FTG6hIdd5rjSsSBU0NM
 omYrupaY5KacHw+xGvcIz1l5ySDyEXQ0YTlUkJLowYCR94K6CSIV2PN1JHWSVSyObHXo
 o/fg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20161025;
 h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to
 :message-id:user-agent:mime-version:content-transfer-encoding;
 bh=kZ+TgMZ5I47Cat1vXv1Hwa7I2Y9zars7O/DuQWEI1qU=;
 b=G637XT7/ezZVDKleWkBj4GSMp0P7xHZa1KfYPDt84LVsPjO32BUu91a1dJgNUoIVyV
 LTKApkbXw9h+ENTK0d5KoHTGjn2DpY+BpmE77oO1iFDphNtKin3iLLU7IIme4BjMEiWr
 t2FPtgOWL6j4EOWYfbnlVQyNpY7f6sIUNqPKYeWq9Iz061yOlkFg0KBdEcF1ucSNzXz3
 ip06R4xMgzBq037HYx4oMWlLAG5jKWRZdCtkhWClBx2RksyTT7/i51cRSkTShnxbmW/0
 uIMSuojNd9APlXabXEiBk8HctQ8UsNdb1HhxD5SedpuQjY5BKKFqO/GntTEaSAerFxYz
 Qq/w==
X-Gm-Message-State: AOAM533pPn47ntemxlt7/CfS2RUwVyZl+mYPVC7s+DCLPMR//c6qJTd3
 rQHXtMT/wvmSksQkxTlE1qekNx4XuQg=
X-Google-Smtp-Source: ABdhPJz0a5plj6dNAKI4TlDfP12Sr4xVbhLtgcw6ppUeoAjZkMfKrOTYkHRIomwmdPUdT8i+KppzaA==
X-Received: by 2002:a1c:5f46:: with SMTP id t67mr3459997wmb.173.1604074528962; 
 Fri, 30 Oct 2020 09:15:28 -0700 (PDT)
Received: from pfiuh02 ([193.48.40.241])
 by smtp.gmail.com with ESMTPSA id o3sm10652195wru.15.2020.10.30.09.15.27
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Fri, 30 Oct 2020 09:15:28 -0700 (PDT)
From: zimoun <zimon.toutoune@HIDDEN>
To: Zhu Zihao <all_but_last@HIDDEN>
Subject: Re: bug#44327: `guix install` doesn't warn about collison in profile
References: <86v9esc691.fsf@HIDDEN>
Date: Fri, 30 Oct 2020 17:15:27 +0100
In-Reply-To: <86v9esc691.fsf@HIDDEN> (Zhu Zihao's message of "Fri, 30 Oct
 2020 19:17:46 +0800")
Message-ID: <871rhf7krk.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 44327
Cc: 44327 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> 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 <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Dear,

Thank you for the report.


On Fri, 30 Oct 2020 at 19:17, Zhu Zihao <all_but_last@HIDDEN> wrote:
> In commit ba60bbd4370570ff03a16c63af051be06f22658e. Try command
>
>   guix install emacs && guix install emacs-xwidgets

I do not know if this is really a collision since it is sequential.
Well, I agree that a warning message should be displayed.


However, note that,

        $ guix time-machine --commit=3Dba60bbd4 \
               -- install emacs emacs-xwidgets -p /tmp/foo
        $ guix time-machine --commit=3Dba60bbd4 \
               -- install emacs-xwidgets emacs -p /tmp/bar

        readlink -f /tmp/{foo,bar}/bin/emacs
        /gnu/store/xy38cgnr21j2jsb5mnn9cf91d6q67as2-emacs-xwidgets-27.1/bin=
/emacs-27.1
        /gnu/store/1zwmmfy1d213mrqixl36ckbzghkpqdmf-emacs-27.1/bin/emacs

which is a bug.  AFAIU.  Same with =E2=80=9Cguix package -i=E2=80=9D.


> I also suggest to raise an error when conflict detected during building
> profile to force user to resolve it.

It should be already the case. :-)


All the best,
simon




Information forwarded to bug-guix@HIDDEN:
bug#44327; Package guix. Full text available.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 30 Oct 2020 11:18:41 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Oct 30 07:18:41 2020
Received: from localhost ([127.0.0.1]:56297 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1kYSQb-0006WP-Ci
	for submit <at> debbugs.gnu.org; Fri, 30 Oct 2020 07:18:41 -0400
Received: from lists.gnu.org ([209.51.188.17]:59786)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <all_but_last@HIDDEN>) id 1kYSQK-0006Vo-VM
 for submit <at> debbugs.gnu.org; Fri, 30 Oct 2020 07:18:40 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:33374)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <all_but_last@HIDDEN>)
 id 1kYSQK-00020L-Ot
 for bug-guix@HIDDEN; Fri, 30 Oct 2020 07:18:24 -0400
Received: from mail-m974.mail.163.com ([123.126.97.4]:36820)
 by eggs.gnu.org with esmtps (TLS1.2:DHE_RSA_AES_256_CBC_SHA1:256)
 (Exim 4.90_1) (envelope-from <all_but_last@HIDDEN>)
 id 1kYSQC-00031D-7Z
 for bug-guix@HIDDEN; Fri, 30 Oct 2020 07:18:21 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=163.com;
 s=s110527; h=From:Subject:Date:Message-ID:MIME-Version; bh=CZuB7
 fclF2AhmGXNYi4uRf64+f8JMNKbcmAvNOtpyAA=; b=JfL20YuW2AzMdwuMtg2Wf
 5cArtI5G9EerEjF52oWW7CvDgMwAgO8JpSHPtpsk0UaGYnED5sZvCFEkyf5UY13Z
 9lNQ4plisiM1Goz7hm+nAn9Wx6EhDuJitaqyrGEpNABP+kFnYxqsYEIq4iImnAyN
 teC7hhQhDf309Oq044qlFU=
Received: from asus-laptop (unknown [27.39.88.51])
 by smtp4 (Coremail) with SMTP id HNxpCgCHDGFj9ptfL02zWg--.179S2;
 Fri, 30 Oct 2020 19:17:56 +0800 (CST)
User-agent: mu4e 1.4.13; emacs 27.1
From: Zhu Zihao <all_but_last@HIDDEN>
To: bug-guix@HIDDEN
Subject: `guix install` doesn't warn about collison in profile
Date: Fri, 30 Oct 2020 19:17:46 +0800
Message-ID: <86v9esc691.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
 micalg=pgp-sha256; protocol="application/pgp-signature"
X-CM-TRANSID: HNxpCgCHDGFj9ptfL02zWg--.179S2
X-Coremail-Antispam: 1Uf129KBjDUn29KB7ZKAUJUUUUU529EdanIXcx71UUUUU7v73
 VFW2AGmfu7bjvjm3AaLaJ3UbIYCTnIWIevJa73UjIFyTuYvjxU7eT5DUUUU
X-Originating-IP: [27.39.88.51]
X-CM-SenderInfo: pdoosuxxwbztlvw6il2tof0z/1tbiKQbNr1XlyE6bmAAAs4
Received-SPF: pass client-ip=123.126.97.4; envelope-from=all_but_last@HIDDEN;
 helo=mail-m974.mail.163.com
X-detected-operating-system: by eggs.gnu.org: First seen = 2020/10/30 07:17:59
X-ACL-Warn: Detected OS   = Linux 3.1-3.10
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-Spam-Score: 2.0 (++)
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: In commit ba60bbd4370570ff03a16c63af051be06f22658e. Try
 command
 guix install emacs && guix install emacs-xwidgets These two packages are
 conflict with each other, but I can't see any warning message emitted(It should
 emit some because profile-derivation use union-build). 
 Content analysis details:   (2.0 points, 10.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 0.0 SPF_HELO_NONE          SPF: HELO does not publish an SPF Record
 0.0 T_SPF_TEMPERROR        SPF: test of record failed (temperror)
 0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
 provider (all_but_last[at]163.com)
 2.0 SPOOFED_FREEMAIL       No description available.
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> 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 <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.4 (--)

--=-=-=
Content-Type: text/plain
Content-Transfer-Encoding: quoted-printable

In commit ba60bbd4370570ff03a16c63af051be06f22658e. Try command

  guix install emacs && guix install emacs-xwidgets

These two packages are conflict with each other, but I can't see any
warning message emitted(It should emit some because profile-derivation
use union-build).

I also suggest to raise an error when conflict detected during building
profile to force user to resolve it.


=2D-=20
Retrieve my PGP public key: https://meta.sr.ht/~citreu.pgp

Zihao

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQFJBAEBCAAzFiEE7NCVzXX6efyusptG1SOVn+xGFqYFAl+b9loVHGFsbF9idXRf
bGFzdEAxNjMuY29tAAoJENUjlZ/sRhamLJgH/0wxa3yM+0nganedj7YD1W9iCMQN
1Bhf8LGHXcoCxG3FVk7r50gZVT1x8+ylEiLNdOV+zG1eZWtVD/S6nvJR8fv1KmHs
oe+yCiVRT7d/hdLZVLGRqD0lyac74nw4INqUnx68Hh4JOcCExN10LsYh9wvEx+Pu
OSwy5usRnlCdd8dkhnzDSNfKau6oivmhvmpA6Ya6ZZMhnitpwMeimBA8S4BTkRrr
W0VqQXmxDVobP/CEWqTmsm/A5xcmg5htcj43/HVZHXkIYN4gARdcYh1A7vR1/ypm
LlIuVHx+h1S7B5uZ9TeEj4xoKePVBI4rEjMR4xUm/cEFGlwziI0//4YEIE8=
=QO51
-----END PGP SIGNATURE-----
--=-=-=--





Acknowledgement sent to Zhu Zihao <all_but_last@HIDDEN>:
New bug report received and forwarded. Copy sent to bug-guix@HIDDEN. Full text available.
Report forwarded to bug-guix@HIDDEN:
bug#44327; Package guix. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Thu, 3 Dec 2020 17:15:01 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.