> No, it’s on purpose: the goal is to keep using the already-installed > (guix config), which contains the right file names etc.
Got it. Finally I see how "guix pull" works and why importing modules only from $HOME/.config/guix/latest/ in the REPL is not enough... :-) Thanks, Fede
