Re: delete profile

[Federico Beffa <beffa@ieee.org>]

Pjotr Prins <pjotr.public12@thebird.nl> writes:

> On Mon, Mar 13, 2017 at 10:35:56PM +0300, Alex Kost wrote:
>> Federico Beffa (2017-03-12 18:28 +0100) wrote:
>> 
>> > Hi,
>> >
>> > I've created a profile for test purposes with
>> >
>> > guix package -p $HOME/guix-test-profile -m test-manifest.scm
>> >
>> > that now I would like to delete.  I've looked up the documentation but
>> > not found any suitable command.  What's the recommended procedure to
>> > delete it?
>> 
>> I would simply remove it and all its generations
>> ("$HOME/guix-test-profile-XX-link") manually.  I don't know if there is
>> any recommended way to do it though.
>
> That removes the symlinks to a directory in /var/guix/profiles. I
> think you also need to remove the links in the latter if you want the
> garbage collection to work. 

'guix -p $HOME/guix-test-profile' lists only 1 generation (but I did
create another one and then I rolled-back).

I run 'guix gc' and now I find dangling symlinks in my $HOME.  One
symlink is still active (the active generation) which imply that it is
registered as a GC root.  However, it's not in
'/usr/local/var/guix/profiles' (I installed from source with the default
prefix=/usr/local).  Not sure where to find it.

Thanks for the suggestions.
Fede