Hi, On Thu, 15 Oct 2020 at 09:53, Ludovic Courtès wrote: > I don’t think it’s a reasonable response: it’s a fact that we naturally > tend to read manuals sparsely, at best. > > Since the pastes vanished, how did ‘sudo guix pull’ lead to incompatible > bytecode warnings? If I remember correctly (which is neither a reasonable response :-)), it should highly come from the user config. And the investigation needs more information, e.g., as Tobias asks: the output of: $ type guix $ ls -l ~/.config/guix/current $ sudo rm ~/.config/guix/current $ /run/current-system/profile/bin/guix pull $ hash guix $ type guix All the best, simon