diff options
| author | Reiner Herrmann <reiner@reiner-h.de> | 2022-05-01 15:08:01 +0200 |
|---|---|---|
| committer | Reiner Herrmann <reiner@reiner-h.de> | 2022-05-01 15:08:01 +0200 |
| commit | 4066d27f9ec46759811d94d9d5cc3c15984df856 (patch) | |
| tree | 7f5a93ced50a2937d99c493e69d2336bee9a37d9 | |
| parent | e4f71387fbf162a2886323d61db0812c1f93b3c7 (diff) | |
ripgrep: add config
| -rw-r--r-- | bashrc | 1 | ||||
| -rwxr-xr-x | deploy.sh | 2 | ||||
| -rw-r--r-- | ripgreprc | 1 |
3 files changed, 4 insertions, 0 deletions
@@ -69,6 +69,7 @@ export XDG_DATA_HOME=$HOME/.local/share export LESS="-R -M --shift 10" export EMAIL="reiner@reiner-h.de" export GPG_TTY=$(tty) +export RIPGREP_CONFIG_PATH=${HOME}/.ripgreprc # use vim as pager (VimTip 167) export MANPAGER="/bin/sh -c \"col -b -x | view -u ~/.vim/pager.vim -c 'set ft=man nomod nolist' -\"" @@ -19,3 +19,5 @@ ln -sf ${CONFIG_DIR}/git/hooks ${HOME}/.git_template/hooks mkdir -p ${HOME}/.mutt ln -sf ${CONFIG_DIR}/muttrc ${HOME}/.mutt/muttrc + +ln -sf ${CONFIG_DIR}/ripgreprc ${HOME}/.ripgreprc diff --git a/ripgreprc b/ripgreprc new file mode 100644 index 0000000..e51ef46 --- /dev/null +++ b/ripgreprc @@ -0,0 +1 @@ +--smart-case |
