Re: delete profile

[Alex Kost <alezost@gmail.com>]

Federico Beffa (2017-03-14 09:42 +0100) wrote:

> 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.

What dangling symlinks?  Just remove them :-)

> One
> symlink is still active (the active generation) which imply that it is
> registered as a GC root.

Look at /var/guix/gcroots/auto/ to see the registered GC roots, but
don't remove them manually, just remove the profile links you created,
then "guix gc" should clean the store from those profiles.

> However, it's not in
> '/usr/local/var/guix/profiles' (I installed from source with the default
> prefix=/usr/local).

this var/guix/profiles is only for system and per-user profiles.
Profiles that you create explicitly (with --profile option) are not
placed there.

> Not sure where to find it.

I'm not sure what you mean: the profiles you created with "guix package
-p $HOME/guix-test-profile -i ..." are in the store and the symlinks to
them are these "$HOME/guix-test-profile[-XXX-link]" links.  Simply remove
these links and run "guix gc".

-- 
Alex