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.
This commit is contained in:
Tobias Geerinckx-Rice 2020-07-15 21:24:15 +02:00
parent 4089d7920f
commit 2ffd1314cd
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79

View file

@ -418,6 +418,7 @@ sys_authorize_build_farms()
sys_create_init_profile() sys_create_init_profile()
{ # Create /etc/profile.d/guix.sh for better desktop integration { # 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 [ -d "/etc/profile.d" ] || mkdir /etc/profile.d # Just in case
cat <<"EOF" > /etc/profile.d/guix.sh cat <<"EOF" > /etc/profile.d/guix.sh
# _GUIX_PROFILE: `guix pull` profile # _GUIX_PROFILE: `guix pull` profile
@ -507,6 +508,9 @@ main()
_msg "${PAS}Guix has successfully been installed!" _msg "${PAS}Guix has successfully been installed!"
_msg "${INF}Run 'info guix' to read the manual." _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 "$@" main "$@"