Some progress has been made: fc2d233 allows search paths for multiple
profiles to be combined.
So I think I will eventually (‘guix-devel’ needs to be updated first)
change /etc/profile to do:
eval `guix package -p /run/current-system/profile \
-p $HOME/.guix-profile --search-paths`
That should solve the combined profile issue.
This operation takes ~400ms on my machine. This would be a problem if
we had to do it every time a shell is started, but here we only need to
do it for log-in shells, which is rare enough.
WDYT?
Thanks,
Ludo’.