Re: Collect guix profiles in single directory.

[Pierre Neidhardt <mail@ambrevar.xyz>]

[-- Attachment #1: Type: text/plain, Size: 1411 bytes --]

Leo Prikler <leo.prikler@student.tugraz.at> writes:

> Hi Pierre,
>
> Am Freitag, den 31.01.2020, 08:59 +0100 schrieb Pierre Neidhardt:
>> Hi Leo,
>> 
>> About ordering:
>> 
>> 1. ~/.config/guix/current is special in that it's the channel of Guix
>> and it's installed by "guix pull" unlike other channels.  Thus I
>> don't
>> think it belongs to GUIX_PROFILE_DIR.  That said, we could introduce
>> another environment variable for those who want to move it somewhere
>> else.

> The whole point of this operation was to put everything into one
> directory, including profiles managed by `guix pull` rather than `guix
> package` -- see the subject line and the initial post.

Yes, but I propose to go even more general: Have a configuration knob
for all files, so that everyone is free to move stuff anywhere they want.


> Conceptually it is a profile like any other.

But practically I suspect that most users will deal with it specially.
It would be nice to be able to make the distinction between the "guix"
profile and the rest.

> My bad, I forgot, that lowercase `-p` will still exist.  Now that I
> think about it, is -P my-profile really that much better than -p
> $GUIX_PROFILE_DIR/my-profile?  I personally believe explicit to be
> better here.

Indeed, we can leave this option out for now if it's too superfluous.

-- 
Pierre Neidhardt
https://ambrevar.xyz/

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]