Re: Multiple profiles with Guix Home

[Liliana Marie Prikler]

Am Donnerstag, dem 05.05.2022 um 19:41 +0200 schrieb Maxime Devos:
> Liliana Marie Prikler schreef op do 05-05-2022 om 19:27 [+0200]:
> > We're not talking about the same kind of profile management here. 
> > By profile management I mean creating, updating, modifying and
> > deleting a profile that has the same basic properties as ~/.guix-
> > profile or ~/.guix-home.  Shell profiles are not that.
> 
> ... ~/.guix-profile and ~/.guix-home profiles do not have the same
> basic properties?  ~/.guix-profile is to be managed imperatively with
> "guix install", "guix package -u" or such or semi-imperatively
> mostly-declaratively with "guix package -m" , whereas ~/.guix-home is
> in theory only to be managed with "guix home reconfigure"?"
And would you look at this, my proposed solution would make ~/.guix-
home a profile that can be managed by `guix package', or even be
dropped in favour of ~/.guix-profile or any list of profiles.  This
also extends to the pull profile, which can be moved to a different
location, assuming you use `guix pull -p' and specify the pull profile
as an enabled empty profile.

> And except for not having a location in $HOME somewhere and not being
> mutatable, if that's you mean, "guix shell" produces the same kind of
> profile as "guix home" AFAICT?
Sure.  "guix system disk-image" also produces the same kind of profile,
but it's better hidden.  That's not the point.