From a71a12e16a9d94484e15141b4dea7f37f4091abd Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Sun, 1 Sep 2019 20:57:56 -0400 Subject: shell: set INFOPATH properly --- .profile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to '.profile') diff --git a/.profile b/.profile index 883d1a7..c812eb9 100644 --- a/.profile +++ b/.profile @@ -10,13 +10,15 @@ fi export EDITOR="emacsclient -nw" export VISUAL="emcl" -PATH="$HOME/bin:$HOME/.local/bin:$PATH" +PATH="$HOME/usr/local/bin:$HOME/.local/bin:$PATH" PATH="$HOME/.cabal/bin:$HOME/.cargo/bin:$HOME/.elan/bin:$PATH" if [ -z "$IS_GUIX_SYSTEM" ]; then PATH="$HOME/.config/guix/current/bin${PATH:+:}$PATH" + INFOPATH="$HOME/.config/guix/current/share/info${INFOPATH:+:}$INFOPATH" export GUIX_LOCPATH="$HOME/.guix-profile/lib/locale" fi export PATH +export INFOPATH export XDG_CONFIG_HOME="$HOME/.config" export XDG_DATA_HOME="$HOME/.local/share" -- cgit v1.2.3-60-g2f50