diff dot_config/ripgrep/ripgreprc @ 504:1403bfc694e4

Add ripgrep configuration file
author zegervdv <zegervdv@me.com>
date Thu, 09 Dec 2021 09:06:14 +0100
parents
children b12e86e6c110
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dot_config/ripgrep/ripgreprc	Thu Dec 09 09:06:14 2021 +0100
@@ -0,0 +1,11 @@
+# Only be case sensitive if a case is present
+--smart-case
+
+# Limit output
+--max-columns=150
+--max-columns-preview
+
+--type-add
+hdl:*.{sv,vhd,v}
+--type-add
+rtl:*.rtl.{sv,vhd}