guix-install.sh: Run guix.sh script in /etc/profile.d last.
* etc/guix-install.sh: Rename /etc/profile.d/guix.sh to zzz-guix.sh. This script refers to environment variables set by the host distribution. They may be set in other scripts in /etc/profile.d, which must therefore be run first. Example: in Ubuntu 20.04, XDG_DATA_DIRS is set in /etc/profile.d/xdg_dirs_desktop_session.sh Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>master
parent
0e69ee46cc
commit
93be56a3ab
|
@ -506,7 +506,7 @@ sys_create_init_profile()
|
||||||
{ # Define for better desktop integration
|
{ # Define for better desktop integration
|
||||||
# This will not take effect until the next shell or desktop session!
|
# 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/zzz-guix.sh
|
||||||
# Explicitly initialize XDG base directory variables to ease compatibility
|
# Explicitly initialize XDG base directory variables to ease compatibility
|
||||||
# with Guix System: see <https://issues.guix.gnu.org/56050#3>.
|
# with Guix System: see <https://issues.guix.gnu.org/56050#3>.
|
||||||
export XDG_DATA_HOME="${XDG_DATA_HOME:-$HOME/.local/share}"
|
export XDG_DATA_HOME="${XDG_DATA_HOME:-$HOME/.local/share}"
|
||||||
|
|
Reference in New Issue