GNU bug report logs - #30569
Profile can contain the exact same entry several times

Previous Next

Full log

Message #36 received at 30569-done <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Ricardo Wurmus <rekado <at> elephly.net>
Cc: Andreas Enge <andreas <at> enge.fr>, 30569-done <at> debbugs.gnu.org
Subject: Re: bug#30569: Packages count as installed twice
Date: Thu, 01 Mar 2018 14:01:03 +0100

Ricardo Wurmus <rekado <at> elephly.net> skribis:

> Andreas Enge <andreas <at> enge.fr> writes:
>
>> On Tue, Feb 27, 2018 at 10:55:05PM +0100, Ludovic Courtès wrote:
>>> What should we do?  Status quo?  Throwing a ‘delete-duplicates’ call?
>>> Let’s have a poll!  ;-)
>>
>> The thing is confusing, and delete-duplicates should be essentially for free,
>> so I would support to call it. (Well, I filed the bug since I consider this
>> behaviour to be a bug, no big surprise then!)
>
> I agree.  I don’t see a reason to allow for the same package to appear
> more than once in the manifest.

Alright, fixed in 435603a1d6106b535cf143d17cb030b2d0795b54, thanks!

Ludo’.

Previous Next

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