diff options
author | Amin Bandali <bandali@gnu.org> | 2019-09-01 20:57:56 -0400 |
---|---|---|
committer | Amin Bandali <bandali@gnu.org> | 2019-09-01 20:57:56 -0400 |
commit | a71a12e16a9d94484e15141b4dea7f37f4091abd (patch) | |
tree | 7d65fb09c9dd8ba0bc4d5f03fab3b96c06c3f583 /.config/profiles | |
parent | ca79fa96a8ff32996afe678089f446d57bf85260 (diff) | |
download | configs-a71a12e16a9d94484e15141b4dea7f37f4091abd.tar.gz configs-a71a12e16a9d94484e15141b4dea7f37f4091abd.tar.xz configs-a71a12e16a9d94484e15141b4dea7f37f4091abd.zip |
shell: set INFOPATH properly
Diffstat (limited to '.config/profiles')
-rw-r--r-- | .config/profiles/jirud | 2 |
1 files changed, 2 insertions, 0 deletions
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" |