diff options
author | Junegunn Choi <junegunn.c@gmail.com> | 2017-09-03 11:38:22 +0900 |
---|---|---|
committer | Junegunn Choi <junegunn.c@gmail.com> | 2017-09-03 11:38:22 +0900 |
commit | 20cdbac8c3d9e658a0bf6cf3051981d0910793f2 (patch) | |
tree | 951a24503eeb6e95b34a25162f3366e0b235cf5e | |
parent | e3e7b3360cd83c20a109ccc550bd0508fc5b1cba (diff) |
[install] Ignore user-defined grep aliases
-rwxr-xr-x | install | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -257,7 +257,7 @@ has_fish=$(command -v fish > /dev/null && echo 1 || echo 0) if [ $has_fish -eq 1 ]; then echo -n "Update fish_user_paths ... " fish << EOF - echo \$fish_user_paths | grep $fzf_base/bin > /dev/null + echo \$fish_user_paths | \grep $fzf_base/bin > /dev/null or set --universal fish_user_paths \$fish_user_paths $fzf_base/bin EOF [ $? -eq 0 ] && echo "OK" || echo "Failed" |