delete profile

delete profile

[Federico Beffa]

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?

Thanks,
Fede

Re: delete profile

[Alex Kost]

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.

-- 
Alex

Re: delete profile

[Pjotr Prins]

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. 

Is that correct?

Pj.

Re: delete profile

[Federico Beffa]

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

Re: delete profile

[Ludovic Courtès]

Hi,

Federico Beffa <beffa@ieee.org> skribis:

> 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 just do:

  rm $HOME/guix-test-profile*

Ludo’.

Re: delete profile

[Alex Kost]

Pjotr Prins (2017-03-14 05:55 +0000) wrote:

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

No, "$HOME/guix-test-profile" was not a symlink to
"/var/guix/profiles/...".  Try this:

  guix package --no-grafts -i hello -p /tmp/test-profile
  ls -l /tmp/test-profile*

As you can see, now there is "/tmp/test-profile" which points to a
single generation which points to "/gnu/store…-profile".

> I think you also need to remove the links in the latter if you want
> the garbage collection to work.
>
> Is that correct?

No, as you can see "/var/guix/profiles/..." was not modified in any way.
So removing "/tmp/test-profile*" links should be enough; next time "guix
gc" will remove the store entries for the created profile.

-- 
Alex

Re: delete profile

[Alex Kost]

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

Re: delete profile

[Pjotr Prins]

On Tue, Mar 14, 2017 at 05:28:52PM +0300, Alex Kost wrote:
> No, "$HOME/guix-test-profile" was not a symlink to
> "/var/guix/profiles/...".  Try this:

Hmmm. You are right. ~/.guix-profile, meanwile, does point inside
/var/guix. 

I have wondered before how GC works on profiles not in /var/guix.

Where does it store that state? In the database? I mean, if I simply
remove the symlink

  lrwxrwxrwx  1 wrk   502   51 Feb 19 09:38 guix-build-system-1-link -> /gnu/store/0lyv2p35ziymd6xjrfxy8sp502n2ii5d-profile

how does Guix know it can GC /gnu/store/0lyv2p35ziymd6xjrfxy8sp502n2ii5d-profile?

Pj.

Re: delete profile

[Federico Beffa]

Alex Kost <alezost@gmail.com> writes:

> Federico Beffa (2017-03-14 09:42 +0100) wrote:
>
>> Pjotr Prins <pjotr.public12@thebird.nl> writes:
>> '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 :-)

Of this type:

$HOME/guix-test-profile-XXX-link -> /gnu/store/...

Yes, sure, I deleted them.  It just seems strange that a GC leaves
dangling links around.

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

As Pjotr suggested, I was expecting to have to delete a GC root
somewhere.  If this is not the case then the better.

Thanks for the explanation.
Fede

Re: delete profile

[Andy Wingo]

On Tue 14 Mar 2017 17:43, Federico Beffa <beffa@ieee.org> writes:

> Alex Kost <alezost@gmail.com> writes:
>
>> Federico Beffa (2017-03-14 09:42 +0100) wrote:
>>
>>> I run 'guix gc' and now I find dangling symlinks in my $HOME.
>>
>> What dangling symlinks?  Just remove them :-)
>
> Of this type:
>
> $HOME/guix-test-profile-XXX-link -> /gnu/store/...
>
> Yes, sure, I deleted them.  It just seems strange that a GC leaves
> dangling links around.

Currently, profiles that aren't in your ~/.guix-profile are not treated
as GC roots (AFAIR).  I think this is a bug -- albeit a known bug. :)

Andy

Re: delete profile

[Ludovic Courtès]

Andy Wingo <wingo@igalia.com> skribis:

> On Tue 14 Mar 2017 17:43, Federico Beffa <beffa@ieee.org> writes:
>
>> Alex Kost <alezost@gmail.com> writes:
>>
>>> Federico Beffa (2017-03-14 09:42 +0100) wrote:
>>>
>>>> I run 'guix gc' and now I find dangling symlinks in my $HOME.
>>>
>>> What dangling symlinks?  Just remove them :-)
>>
>> Of this type:
>>
>> $HOME/guix-test-profile-XXX-link -> /gnu/store/...
>>
>> Yes, sure, I deleted them.  It just seems strange that a GC leaves
>> dangling links around.
>
> Currently, profiles that aren't in your ~/.guix-profile are not treated
> as GC roots (AFAIR).

They *are* GC roots (fortunately :-)).  If you do “guix package -p foo -i
guile”, you can see a symlink to ‘foo-1-link’ is added to
/var/guix/gcroots/auto.

Ludo’.

Re: delete profile

[Alex Kost]

Federico Beffa (2017-03-14 17:43 +0100) wrote:

> Alex Kost <alezost@gmail.com> writes:
>
>> Federico Beffa (2017-03-14 09:42 +0100) wrote:
>>
>>> Pjotr Prins <pjotr.public12@thebird.nl> writes:
>>> '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 :-)
>
> Of this type:
>
> $HOME/guix-test-profile-XXX-link -> /gnu/store/...
>
> Yes, sure, I deleted them.  It just seems strange that a GC leaves
> dangling links around.

GC can't remove such generation links; it removes only the stuff that is
placed in the store.  It's up to a user to remove profiles and their
generations.

-- 
Alex

Re: delete profile

[Alex Kost]

Pjotr Prins (2017-03-14 15:18 +0000) wrote:

> On Tue, Mar 14, 2017 at 05:28:52PM +0300, Alex Kost wrote:
>> No, "$HOME/guix-test-profile" was not a symlink to
>> "/var/guix/profiles/...".  Try this:
>
> Hmmm. You are right. ~/.guix-profile, meanwile, does point inside
> /var/guix.

Yes, "~/.guix-profile" is the only "special" profile that uses this
additional level of symlinking.  Profiles that you create with "guix
package -p ... -i ..." always point directly to store.

> I have wondered before how GC works on profiles not in /var/guix.
>
> Where does it store that state? In the database?

As Ludovic wrote, the links to the created profile generations are put
in "/var/guix/gcroots/auto" and "guix gc" does not clear the store of
these "registered gc roots".

> I mean, if I simply
> remove the symlink
>
>   lrwxrwxrwx  1 wrk   502   51 Feb 19 09:38 guix-build-system-1-link -> /gnu/store/0lyv2p35ziymd6xjrfxy8sp502n2ii5d-profile
>
> how does Guix know it can GC /gnu/store/0lyv2p35ziymd6xjrfxy8sp502n2ii5d-profile?

After you remove "foo-1-link", the according link in
"/var/guix/gcroots/auto" will become dead, so "guix gc" will remove it
and will clear the store of that profile.

-- 
Alex

Re: delete profile

[Pjotr Prins]

Thanks for the explanation :)