From a71a12e16a9d94484e15141b4dea7f37f4091abd Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Sun, 1 Sep 2019 20:57:56 -0400 Subject: [PATCH] shell: set INFOPATH properly --- .config/profiles/jirud | 2 ++ .profile | 4 +++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/.config/profiles/jirud b/.config/profiles/jirud index 6ee2a39..62a95ef 100644 --- a/.config/profiles/jirud +++ b/.config/profiles/jirud @@ -1,3 +1,5 @@ if [ -x "$(command -v xinput)" ]; then xinput --set-prop "TPPS/2 IBM TrackPoint" 'libinput Accel Speed' -0.4 fi + +export INFOPATH="$HOME/usr/local/share/info${INFOPATH:+:}$INFOPATH" 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" -- 2.20.1