guix-install.sh: Make sure /etc/profile is sourced.
authorTobias Geerinckx-Rice <me@tobias.gr>
Wed, 15 Jul 2020 19:24:15 +0000 (21:24 +0200)
committerTobias Geerinckx-Rice <me@tobias.gr>
Thu, 16 Jul 2020 18:12:07 +0000 (20:12 +0200)
New users regularly report missing newly-installed programmes and icons.

* etc/guix-install.scm (main): Tell users to log out & back in.

etc/guix-install.sh

index efcc3d8..72dc383 100755 (executable)
@@ -418,6 +418,7 @@ sys_authorize_build_farms()
 
 sys_create_init_profile()
 { # Create /etc/profile.d/guix.sh for better desktop integration
+  # This will not take effect until the next shell or desktop session!
     [ -d "/etc/profile.d" ] || mkdir /etc/profile.d # Just in case
     cat <<"EOF" > /etc/profile.d/guix.sh
 # _GUIX_PROFILE: `guix pull` profile
@@ -507,6 +508,9 @@ main()
 
     _msg "${PAS}Guix has successfully been installed!"
     _msg "${INF}Run 'info guix' to read the manual."
+
+    # Required to source /etc/profile in desktop environments.
+    _msg "${INF}Please log out and back in to complete the installation."
  }
 
 main "$@"