From 4066d27f9ec46759811d94d9d5cc3c15984df856 Mon Sep 17 00:00:00 2001 From: Reiner Herrmann Date: Sun, 1 May 2022 15:08:01 +0200 Subject: ripgrep: add config --- bashrc | 1 + deploy.sh | 2 ++ ripgreprc | 1 + 3 files changed, 4 insertions(+) create mode 100644 ripgreprc diff --git a/bashrc b/bashrc index f51df37..a815ab5 100644 --- a/bashrc +++ b/bashrc @@ -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' -\"" diff --git a/deploy.sh b/deploy.sh index 9dbd4ef..632c61c 100755 --- a/deploy.sh +++ b/deploy.sh @@ -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 -- cgit v1.2.3