From mboxrd@z Thu Jan 1 00:00:00 1970 From: =?UTF-8?Q?G=C3=A1bor?= Boskovits Subject: bug#30569: Packages count as installed twice Date: Wed, 28 Feb 2018 08:50:42 +0100 Message-ID: References: <20180221190553.GA5485@jurong> <87d10yqfwj.fsf@elephly.net> <20180221213453.GA5024@jurong> <87bmgiq9c2.fsf@elephly.net> <20180221222236.GA5529@jurong> <87zi3uumh2.fsf@gnu.org> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="001a1144a15803322b05664100fd" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:58899) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eqwW2-0005FQ-PA for bug-guix@gnu.org; Wed, 28 Feb 2018 02:51:08 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eqwVz-0001LU-MA for bug-guix@gnu.org; Wed, 28 Feb 2018 02:51:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:56727) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eqwVz-0001L9-IE for bug-guix@gnu.org; Wed, 28 Feb 2018 02:51:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1eqwVx-0004bf-U4 for bug-guix@gnu.org; Wed, 28 Feb 2018 02:51:03 -0500 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <87zi3uumh2.fsf@gnu.org> List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 30569@debbugs.gnu.org --001a1144a15803322b05664100fd Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 2018-02-27 22:55 GMT+01:00 Ludovic Court=C3=A8s : > Andreas Enge skribis: > > > On Wed, Feb 21, 2018 at 11:14:21PM +0100, Ricardo Wurmus wrote: > >> Even so, you=E2=80=99ll have a file called =E2=80=9Cmanifest=E2=80=9D = in the profile directory. > >> This is unrelated to whether you used a manifest to create the profile > >> or not. > > > > I see! Yes, it appeared twice. > > Looking more closely, it=E2=80=99s actually possible even now to create a > profile with the exact same entry twice: > > --8<---------------cut here---------------start------------->8--- > $ guix package -p foo -i gnutls gnutls > La jenaj pakoj estos instalataj: > gnutls 3.5.13 /gnu/store/g09is0bw144d8zrd059fiarqmjq7vr > 8a-gnutls-3.5.13 > gnutls 3.5.13 /gnu/store/g09is0bw144d8zrd059fiarqmjq7vr > 8a-gnutls-3.5.13 > > substitute: updating list of substitutes from 'https://berlin.guixsd.org'= ... > 100.0% > substitute: updating list of substitutes from ' > https://mirror.hydra.gnu.org'... 100.0% > La jenaj derivoj estos konstruataj: > /gnu/store/viykf0jcxc9c51yl0p1023b75khad7jn-profile.drv > /gnu/store/yi996sf93p8n15ijf27hcck1b6prywrl-info-dir.drv > /gnu/store/ki7jrd29isi0l1zk93vrqd1p4by08nw7-fonts-dir.drv > /gnu/store/0xkp49578vpjc7q96kyg052v4jhx439m-ca-certificate-bundle.drv > /gnu/store/yxbrnjbxjcdx6nvs8l0wm8236mvx14l7-manual-database.drv > Creating manual page database... > 144 entries processed in 0.1 s > pakoj 2 en profilo > La jenaj medi-variablaj difinoj povos esti necesaj: > export PATH=3D"foo/bin${PATH:+:}$PATH" > --8<---------------cut here---------------end--------------->8--- > > Weird, but no big deal since they are really the same entry. > > (What=E2=80=99s *not* permitted is installing several =E2=80=9Cgnutls=E2= =80=9D packages having a > different store file name. See =E2=80=98check-for-collisions=E2=80=99 in= (guix > profiles).) > > What should we do? Status quo? Throwing a =E2=80=98delete-duplicates=E2= =80=99 call? > Let=E2=80=99s have a poll! ;-) > > I think if the manifest is generated automatically, then duplicates can be removed automatically reducing clobber, (most probably the user doesn't care anyways), but when using a manifest file there should be a warning about it, so the problem will not be retained. (These users most probably care about this, I think this can point to problematic manifest authoring practices.) > Ludo=E2=80=99. > > > > --001a1144a15803322b05664100fd Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
2018= -02-27 22:55 GMT+01:00 Ludovic Court=C3=A8s <ludo@gnu.org>:
=
Andreas Enge <andreas@enge.fr> skribis:

> On Wed, Feb 21, 2018 at 11:14:21PM +0100, Ricardo Wurmus wrote:
>> Even so, you=E2=80=99ll have a file called =E2=80=9Cmanifest=E2=80= =9D in the profile directory.
>> This is unrelated to whether you used a manifest to create the pro= file
>> or not.
>
> I see! Yes, it appeared twice.

Looking more closely, it=E2=80=99s actually possible even now to cre= ate a
profile with the exact same entry twice:

--8<---------------cut here---------------start------------->8--= -
$ guix package -p foo -i gnutls gnutls
La jenaj pakoj estos instalataj:
=C2=A0 =C2=A0 gnutls=C2=A0 =C2=A0 =C2=A0 3.5.13=C2=A0 /gnu= /store/g09is0bw144d8zrd059fiarqmjq7vr8a-gnutls-3.5.13
=C2=A0 =C2=A0gnutls=C2=A0 =C2=A0 =C2=A0 =C2=A03.5.13=C2=A0 /gnu/store/= g09is0bw144d8zrd059fiarqmjq7vr8a-gnutls-3.5.13

substitute: updating list of substitutes from 'https://berlin.gu= ixsd.org'... 100.0%
substitute: updating list of substitutes from 'https://mirror.hydra.= gnu.org'... 100.0%
La jenaj derivoj estos konstruataj:
=C2=A0 =C2=A0/gnu/store/viykf0jcxc9c51yl0p1023b75khad7jn-profile.= drv
=C2=A0 =C2=A0/gnu/store/yi996sf93p8n15ijf27hcck1b6prywrl-info-dir= .drv
=C2=A0 =C2=A0/gnu/store/ki7jrd29isi0l1zk93vrqd1p4by08nw7-fonts-di= r.drv
=C2=A0 =C2=A0/gnu/store/0xkp49578vpjc7q96kyg052v4jhx439m-ca-certi= ficate-bundle.drv
=C2=A0 =C2=A0/gnu/store/yxbrnjbxjcdx6nvs8l0wm8236mvx14l7-manual-d= atabase.drv
Creating manual page database...
144 entries processed in 0.1 s
pakoj 2 en profilo
La jenaj medi-variablaj difinoj povos esti necesaj:
=C2=A0 =C2=A0export PATH=3D"foo/bin${PATH:+:}$PATH"
--8<---------------cut here---------------end--------------->8--= -

Weird, but no big deal since they are really the same entry.

(What=E2=80=99s *not* permitted is installing several =E2=80=9Cgnutls=E2=80= =9D packages having a
different store file name.=C2=A0 See =E2=80=98check-for-collisions=E2=80=99= in (guix
profiles).)

What should we do?=C2=A0 Status quo?=C2=A0 Throwing a =E2=80=98delete-dupli= cates=E2=80=99 call?
Let=E2=80=99s have a poll!=C2=A0 ;-)


I think if the manifest is generated a= utomatically, then
duplicates can be removed automatically reduci= ng clobber,
(most probably the user doesn't care anyways),
but when using a manifest file there should be a warning
= about it, so the problem will not be retained.
(These users most = probably care about this,
I think this can point to problematic m= anifest
authoring practices.)
=C2=A0
Ludo=E2=80=99.




--001a1144a15803322b05664100fd--