diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-07-15 21:24:15 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-07-16 20:12:07 +0200 |
| commit | 2ffd1314cd80d9d8fb38b78a34ef10bbf666838f (patch) | |
| tree | 60e295458fefef6debc4b7d8ed2b33e55e8965b7 | |
| parent | 4089d7920fc5f27fefdde6b0fec17f3224e62377 (diff) | |
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.
| -rwxr-xr-x | etc/guix-install.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/etc/guix-install.sh b/etc/guix-install.sh index efcc3d81d8..72dc3839e8 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 "$@" |