diff options
| -rwxr-xr-x | etc/guix-install.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/etc/guix-install.sh b/etc/guix-install.sh index 12b39705478..014e30a6a36 100755 --- a/etc/guix-install.sh +++ b/etc/guix-install.sh | |||
| @@ -795,10 +795,6 @@ export PATH="$GUIX_PROFILE/bin${PATH:+:}$PATH" | |||
| 795 | # trailing colon so the system default search path is used. | 795 | # trailing colon so the system default search path is used. |
| 796 | export INFOPATH="$GUIX_PROFILE/share/info:$INFOPATH" | 796 | export INFOPATH="$GUIX_PROFILE/share/info:$INFOPATH" |
| 797 | export MANPATH="$GUIX_PROFILE/share/man:$MANPATH" | 797 | export MANPATH="$GUIX_PROFILE/share/man:$MANPATH" |
| 798 | # Expose the latest Guix modules to Guile so guix shell and repls spawned by | ||
| 799 | # e.g. Geiser work out of the box. | ||
| 800 | export GUILE_LOAD_PATH="$GUIX_PROFILE/share/guile/site/3.0${GUILE_LOAD_PATH:+:}$GUILE_LOAD_PATH" | ||
| 801 | export GUILE_LOAD_COMPILED_PATH="$GUIX_PROFILE/lib/guile/3.0/site-ccache${GUILE_LOAD_COMPILED_PATH:+:}$GUILE_LOAD_COMPILED_PATH" | ||
| 802 | 798 | ||
| 803 | # User's default profile, if it exists | 799 | # User's default profile, if it exists |
| 804 | GUIX_PROFILE="$HOME/.guix-profile" | 800 | GUIX_PROFILE="$HOME/.guix-profile" |