Hello Matt, Vagrant and all. As I understand, we should not advice all users to add these exports to .bashrc, because users with guix-install.sh’s sys_create_init_profile or Debian’s /etc/profile.d/guix.sh do not need it.
Instead, there already is advice for .config/guix/current documented in the Guix manual’s Getting Started section. The advice should be a cross-reference that users should follow the steps from Getting Started, so search paths are set up properly instead of advising to set PATH and INFOPATH. The advice of setting PATH really should go away. Regards, Florian