Liliana Marie Prikler schreef op do 05-05-2022 om 21:17 [+0200]:
> 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'

I do not see this in the proposal?  Or, as I think has been implied by
other messages but not by the proposal, 'manifest=#false' would create
a profile (if it does not exist already) that can be modified with
"guix install" etc, without changes being overridden by future "guix
home reconfigure"?

Greeetings,
Maxime.