diff options
| author | jdhao <jdhao@hotmail.com> | 2021-11-22 21:47:04 +0800 |
|---|---|---|
| committer | jdhao <jdhao@hotmail.com> | 2021-11-22 21:47:04 +0800 |
| commit | 5ed4e3610a36513fd149fce18f2c7567a3e83a11 (patch) | |
| tree | 443ed82a60444d6169b71ad2210b296532a308cc /docs | |
| parent | b96a3ce762f07cd4ed80501af4098d7b29ab8b92 (diff) | |
update linux setup
Diffstat (limited to 'docs')
| -rwxr-xr-x | docs/nvim_setup_linux.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/nvim_setup_linux.sh b/docs/nvim_setup_linux.sh index 81990b1..46b07b8 100755 --- a/docs/nvim_setup_linux.sh +++ b/docs/nvim_setup_linux.sh @@ -140,6 +140,17 @@ if [[ -z "$(command -v rg)" ]] && [[ ! -f "$RIPGREP_DIR/rg" ]]; then if [[ "$ADD_TO_SYSTEM_PATH" = true ]] && [[ "$USE_BASH_SHELL" = true ]]; then echo "export PATH=\"$RIPGREP_DIR:\$PATH\"" >> "$HOME/.bash_profile" fi + + # set up manpath and zsh completion for ripgrep + mkdir -p $HOME/tools/ripgrep/doc/man/man1 + mv $HOME/tools/ripgrep/doc/rg.1 $HOME/tools/ripgrep/doc/man/man1 + + if [[ "$USE_BASH_SHELL" = true ]]; then + echo 'export MANPATH=$HOME/tools/ripgrep/doc/man:$MANPATH' >> "$HOME/.bash_profile" + else + echo 'export MANPATH=$HOME/tools/ripgrep/doc/man:$MANPATH' >> "$HOME/.zshrc" + echo 'export FPATH=$HOME/tools/ripgrep/complete:$FPATH' >> "$HOME/.zshrc" + fi else echo "ripgrep is already installed. Skip installing it." fi |