Hi, On Sun, 17 May 2020 at 21:25, Julien Lepiller <jul...@lepiller.eu> wrote:
> Forget the wget thing, it's my fault for not reading it properly. The > gpg command still needs to be run with sudo on at least fedora and > debian. Now, the binary install script “guix-install.sh” displays: echo " wget 'https://sv.gnu.org/people/viewgpg.php?user_id=15145' -qO - | sudo -i gpg --import -" Therefore, it is fine, right? I am closing but feel free to reopen if I misread or miss something. Cheers, simon