Re: How to share profile among machines ?

[Emmanuel Medernach <Emmanuel.Medernach@iphc.cnrs.fr>]

Le 24/04/2024 à 19:37, Tomas Volf a écrit :
> On 2024-04-24 16:54:19 +0200, Emmanuel Medernach wrote:
>> Hello Guix !
>>
>> How do you share profiles among machines ? For instance 2 users wants to
>> have the same profile, user A shares the directory /gnu/store/...-profile to
>> user B, user B either get access to it directly or from a remote machine
>> with a  "guix copy <profile>", user B could now use this profile like this:
>>
>>   export GUIX_PROFILE="/gnu/store/...-profile"
>>   source "$GUIX_PROFILE/etc/profile"
>>
>> But there is a problem: this profile is not listed with
>>
>>   guix package --list-profiles
>>   guix gc --list-roots
>>
>> The problem is that if user A deletes this profile it gets garbage collected
>> even if user B still needs to use it.
>>
>> So the question is: How user B could add an existing /gnu/store/...-profile
>> (either existing directory or obtained from a guix copy) to the profile and
>> root list ?
> I think you can just create a symlinks in the /var/guix/profiles/per-user/B for
> the profile and in the /var/guix/gcroots/profiles/per-user/B for the gc roots.
>
> I *think* this should work?

Awesome ! This works.

Would it be a good idea to add a guix subcommand to do that ?

Cheers,

Emmanuel


> Tomas
>
> --
> There are only two hard things in Computer Science:
> cache invalidation, naming things and off-by-one errors.