GNU bug report logs - #56371
Can't remove a package present in profil

Previous Next

Package: guix;

Reported by: bbb ee <blasforr <at> gmail.com>

Date: Sun, 3 Jul 2022 22:03:02 UTC

Severity: normal

Done: bbb ee <blasforr <at> gmail.com>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 56371 in the body.
You can then email your comments to 56371 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to bug-guix <at> gnu.org:
bug#56371; Package guix. (Sun, 03 Jul 2022 22:03:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to bbb ee <blasforr <at> gmail.com>:
New bug report received and forwarded. Copy sent to bug-guix <at> gnu.org. (Sun, 03 Jul 2022 22:03:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: bbb ee <blasforr <at> gmail.com>
To: bug-guix <at> gnu.org
Subject: Can't remove a package present in profil
Date: Sun, 3 Jul 2022 19:25:46 +0200

[Message part 1 (text/plain, inline)]
Hi,

I have icedtea installed in my current profil, but `guix package remove`
doesn't find it.
```
$ guix package -p ~/.guix-profile -I | grep icedtea
icedtea             3.19.0               jdk
/gnu/store/5k7lsz61p8fq37c9x5p9xalryjxk31bs-icedtea-3.19.0-jdk
$ guix package -p ~/.guix-profile -r icedtea
guix package: error: package 'icedtea' not found in profile
```

It is a bug?

[Message part 2 (text/html, inline)]
Information forwarded to bug-guix <at> gnu.org:
bug#56371; Package guix. (Mon, 04 Jul 2022 05:05:01 GMT) Full text and rfc822 format available.

Message #8 received at 56371 <at> debbugs.gnu.org (full text, mbox):

From: Julien Lepiller <julien <at> lepiller.eu>
To: bbb ee <blasforr <at> gmail.com>, 56371 <at> debbugs.gnu.org
Subject: Re: bug#56371: Can't remove a package present in profil
Date: Mon, 04 Jul 2022 07:04:20 +0200

[Message part 1 (text/plain, inline)]
It's not a bug, because you don't have icedtea in your profile, but icedtea:jdk. Guix is picky with outputs. Try "guix remove icedtea:jdk" :)

On July 3, 2022 7:25:46 PM GMT+02:00, bbb ee <blasforr <at> gmail.com> wrote:
>Hi,
>
>I have icedtea installed in my current profil, but `guix package remove`
>doesn't find it.
>```
>$ guix package -p ~/.guix-profile -I | grep icedtea
>icedtea             3.19.0               jdk
>/gnu/store/5k7lsz61p8fq37c9x5p9xalryjxk31bs-icedtea-3.19.0-jdk
>$ guix package -p ~/.guix-profile -r icedtea
>guix package: error: package 'icedtea' not found in profile
>```
>
>It is a bug?

[Message part 2 (text/html, inline)]
Information forwarded to bug-guix <at> gnu.org:
bug#56371; Package guix. (Tue, 05 Jul 2022 12:27:01 GMT) Full text and rfc822 format available.

Message #11 received at 56371 <at> debbugs.gnu.org (full text, mbox):

From: bbb ee <blasforr <at> gmail.com>
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: 56371 <at> debbugs.gnu.org
Subject: Re: bug#56371: Can't remove a package present in profil
Date: Tue, 5 Jul 2022 12:46:33 +0200

[Message part 1 (text/plain, inline)]
Thanks for the tip!

Le lun. 4 juil. 2022 à 07:04, Julien Lepiller <julien <at> lepiller.eu> a écrit :

> It's not a bug, because you don't have icedtea in your profile, but
> icedtea:jdk. Guix is picky with outputs. Try "guix remove icedtea:jdk" :)
>
> On July 3, 2022 7:25:46 PM GMT+02:00, bbb ee <blasforr <at> gmail.com> wrote:
>>
>> Hi,
>>
>> I have icedtea installed in my current profil, but `guix package remove`
>> doesn't find it.
>> ```
>> $ guix package -p ~/.guix-profile -I | grep icedtea
>> icedtea             3.19.0               jdk
>> /gnu/store/5k7lsz61p8fq37c9x5p9xalryjxk31bs-icedtea-3.19.0-jdk
>> $ guix package -p ~/.guix-profile -r icedtea
>> guix package: error: package 'icedtea' not found in profile
>> ```
>>
>> It is a bug?
>>
>

[Message part 2 (text/html, inline)]
Information forwarded to bug-guix <at> gnu.org:
bug#56371; Package guix. (Tue, 05 Jul 2022 12:27:02 GMT) Full text and rfc822 format available.

Message #14 received at 56371 <at> debbugs.gnu.org (full text, mbox):

From: bbb ee <blasforr <at> gmail.com>
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: 56371 <at> debbugs.gnu.org
Subject: Re: bug#56371: Can't remove a package present in profil
Date: Tue, 5 Jul 2022 12:46:56 +0200

[Message part 1 (text/plain, inline)]
close #56371

Le mar. 5 juil. 2022 à 12:46, bbb ee <blasforr <at> gmail.com> a écrit :

> Thanks for the tip!
>
> Le lun. 4 juil. 2022 à 07:04, Julien Lepiller <julien <at> lepiller.eu> a
> écrit :
>
>> It's not a bug, because you don't have icedtea in your profile, but
>> icedtea:jdk. Guix is picky with outputs. Try "guix remove icedtea:jdk" :)
>>
>> On July 3, 2022 7:25:46 PM GMT+02:00, bbb ee <blasforr <at> gmail.com> wrote:
>>>
>>> Hi,
>>>
>>> I have icedtea installed in my current profil, but `guix package remove`
>>> doesn't find it.
>>> ```
>>> $ guix package -p ~/.guix-profile -I | grep icedtea
>>> icedtea             3.19.0               jdk
>>> /gnu/store/5k7lsz61p8fq37c9x5p9xalryjxk31bs-icedtea-3.19.0-jdk
>>> $ guix package -p ~/.guix-profile -r icedtea
>>> guix package: error: package 'icedtea' not found in profile
>>> ```
>>>
>>> It is a bug?
>>>
>>

[Message part 2 (text/html, inline)]
Information forwarded to bug-guix <at> gnu.org:
bug#56371; Package guix. (Tue, 05 Jul 2022 12:27:02 GMT) Full text and rfc822 format available.

Message #17 received at 56371 <at> debbugs.gnu.org (full text, mbox):

From: bbb ee <blasforr <at> gmail.com>
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: 56371 <at> debbugs.gnu.org
Subject: Re: bug#56371: Can't remove a package present in profil
Date: Tue, 5 Jul 2022 13:03:11 +0200

[Message part 1 (text/plain, inline)]
Control: close #56371

Le mar. 5 juil. 2022 à 12:46, bbb ee <blasforr <at> gmail.com> a écrit :

> close #56371
>
> Le mar. 5 juil. 2022 à 12:46, bbb ee <blasforr <at> gmail.com> a écrit :
>
>> Thanks for the tip!
>>
>> Le lun. 4 juil. 2022 à 07:04, Julien Lepiller <julien <at> lepiller.eu> a
>> écrit :
>>
>>> It's not a bug, because you don't have icedtea in your profile, but
>>> icedtea:jdk. Guix is picky with outputs. Try "guix remove icedtea:jdk" :)
>>>
>>> On July 3, 2022 7:25:46 PM GMT+02:00, bbb ee <blasforr <at> gmail.com> wrote:
>>>>
>>>> Hi,
>>>>
>>>> I have icedtea installed in my current profil, but `guix package
>>>> remove` doesn't find it.
>>>> ```
>>>> $ guix package -p ~/.guix-profile -I | grep icedtea
>>>> icedtea             3.19.0               jdk
>>>> /gnu/store/5k7lsz61p8fq37c9x5p9xalryjxk31bs-icedtea-3.19.0-jdk
>>>> $ guix package -p ~/.guix-profile -r icedtea
>>>> guix package: error: package 'icedtea' not found in profile
>>>> ```
>>>>
>>>> It is a bug?
>>>>
>>>

[Message part 2 (text/html, inline)]
bug closed, send any further explanations to 56371 <at> debbugs.gnu.org and bbb ee <blasforr <at> gmail.com> Request was from bbb ee <blasforr <at> gmail.com> to control <at> debbugs.gnu.org. (Tue, 05 Jul 2022 12:27:03 GMT) Full text and rfc822 format available.
Information forwarded to bug-guix <at> gnu.org:
bug#56371; Package guix. (Fri, 08 Jul 2022 07:14:02 GMT) Full text and rfc822 format available.

Message #22 received at 56371 <at> debbugs.gnu.org (full text, mbox):

From: "(" <paren <at> disroot.org>
To: "bbb ee" <blasforr <at> gmail.com>, "Julien Lepiller" <julien <at> lepiller.eu>
Cc: 56371 <at> debbugs.gnu.org
Subject: Re: bug#56371: Can't remove a package present in profil
Date: Fri, 08 Jul 2022 08:13:00 +0100

> Control: close #56371

To run a control command, send it to control <at> debbugs.gnu.org :)

    -- (
Information forwarded to bug-guix <at> gnu.org:
bug#56371; Package guix. (Wed, 13 Jul 2022 11:54:02 GMT) Full text and rfc822 format available.

Message #25 received at 56371 <at> debbugs.gnu.org (full text, mbox):

From: bbb ee <blasforr <at> gmail.com>
To: "(" <paren <at> disroot.org>
Cc: Julien Lepiller <julien <at> lepiller.eu>, 56371 <at> debbugs.gnu.org
Subject: Re: bug#56371: Can't remove a package present in profil
Date: Wed, 13 Jul 2022 11:02:42 +0200

[Message part 1 (text/plain, inline)]
Thanks, it is done :)

Le ven. 8 juil. 2022 à 09:13, ( <paren <at> disroot.org> a écrit :

> > Control: close #56371
>
> To run a control command, send it to control <at> debbugs.gnu.org :)
>
>     -- (
>

[Message part 2 (text/html, inline)]
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Thu, 11 Aug 2022 11:24:12 GMT) Full text and rfc822 format available.
This bug report was last modified 1 year and 257 days ago.

Previous Next

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