17/17: guix-install.sh: Make sure /etc/profile is sourced.

[guix-commits]

nckx pushed a commit to branch master
in repository guix.

commit 2ffd1314cd80d9d8fb38b78a34ef10bbf666838f
Author: Tobias Geerinckx-Rice <me@tobias.gr>
AuthorDate: Wed Jul 15 21:24:15 2020 +0200

    guix-install.sh: Make sure /etc/profile is sourced.
    
    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 | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/etc/guix-install.sh b/etc/guix-install.sh
index efcc3d8..72dc383 100755
--- a/etc/guix-install.sh
+++ b/etc/guix-install.sh
@@ -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 "$@"