diff options
author | Junegunn Choi <junegunn.c@gmail.com> | 2015-03-26 03:26:28 +0900 |
---|---|---|
committer | Junegunn Choi <junegunn.c@gmail.com> | 2015-03-26 03:26:28 +0900 |
commit | 91876e98cd361c627664502f9da5e34f726d7f73 (patch) | |
tree | 0ca8dc8e7d4de596b0d9201734a36ffbde395a9a /install | |
parent | eb8fef0031a4d365093617238dac05d6f6c16a1a (diff) |
Avoid duplicate paths in MANPATH
Diffstat (limited to 'install')
-rwxr-xr-x | install | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -186,7 +186,7 @@ fi # Man path # -------- -if [ -d "$fzf_base/man" ]; then +if [[ ! "\$MANPATH" =~ "$fzf_base/man" && -d "$fzf_base/man" ]]; then export MANPATH="\$MANPATH:$fzf_base/man" fi |