Re: Collect guix profiles in single directory.

[Leo Prikler <leo.prikler@student.tugraz.at>]

Am Freitag, den 31.01.2020, 16:17 +0100 schrieb Pierre Neidhardt:
> Leo Prikler <leo.prikler@student.tugraz.at> writes:
> 
> > What do you mean by that exactly?  One knob for everything as with
> > config-directory?  Several knobs for several things?  One knob per
> > file
> > or directory?  Which knob will do what?
> 
> Sorry, that was confusing: I'm suggesting we have one knob per file.
So in that case I'd have to set
- GUIX_PROFILE_DIR,
- GUIX_PULL_DIR, and
- GUIX_CHANNELS_FILE (or alternatively GUIX_CONFIG_DIR)
just so everything is in one place?  Sounds a bit overkill to me.
Could we make GUIX_PROFILE_DIR and GUIX_PULL_DIR default to
GUIX_CONFIG_DIR in the (very likely) case that everything should be put
into the same directory?

> > Even accepting a distinction, there is nothing inside that
> > distinction,
> > that would enforce a separation in storage -- at least as far as I
> > see
> > it.  Before you even get to the point of user profiles, guix system
> > puts the guix command together with everything else into the system
> > profile, so it's not even an issue until you try to `guix install
> > guix`
> > despite commonly shared advice on IRC telling you not to.
> 
> I think your points are strong enough arguments to keep them
> separate.
How so?