From 3193ebaf9f0774cee6063c316e4601a7a285790f Mon Sep 17 00:00:00 2001 From: Michalis Kamburelis Date: Thu, 19 Jul 2018 04:41:00 +0200 Subject: [PATCH] ripgrep again needs --ignore-case, to make it work always... --- src/kambi-customizations.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kambi-customizations.el b/src/kambi-customizations.el index 57348aa..8916cb7 100755 --- a/src/kambi-customizations.el +++ b/src/kambi-customizations.el @@ -115,7 +115,7 @@ '(recentf-max-saved-items 100) '(ripgrep-arguments (quote - ("--max-columns" "200" "--fixed-strings" "--glob=!*~" "--glob=!#*#"))) + ("--max-columns" "200" "--fixed-strings" "--glob=!*~" "--glob=!#*#" "--ignore-case"))) '(safe-local-variable-values (quote ((kam-force-compilation-not-in-project . t)