shell: set INFOPATH properly
authorAmin Bandali <bandali@gnu.org>
Mon, 2 Sep 2019 00:57:56 +0000 (20:57 -0400)
committerAmin Bandali <bandali@gnu.org>
Mon, 2 Sep 2019 00:57:56 +0000 (20:57 -0400)
.config/profiles/jirud
.profile

index 6ee2a39..62a95ef 100644 (file)
@@ -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"
index 883d1a7..c812eb9 100644 (file)
--- 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"