From: Amin Bandali Date: Mon, 2 Sep 2019 00:57:56 +0000 (-0400) Subject: shell: set INFOPATH properly X-Git-Url: https://git.shemshak.org/~bandali/configs/commitdiff_plain/a71a12e16a9d94484e15141b4dea7f37f4091abd shell: set INFOPATH properly --- 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"