Explorar el Código

Fix ripgrep option

master
10sr hace 4 días
padre
commit
06c94796c4
No se encontró ninguna clave conocida en la base de datos para esta firma ID de clave GPG: 82E893B484685E69
Se han modificado 1 ficheros con 1 adiciones y 1 borrados
  1. +1
    -1
      emacs.el

+ 1
- 1
emacs.el Ver fichero

@@ -2726,7 +2726,7 @@ condition to choose COMMAND when evaluated.")
;; ripgrep
("rg"
(executable-find "rg")
"rg -nH --no-heading --color=never --hidden --no-ignore-parent --glob '!.git/' --smart-case -M 1280 ")
"rg -nH --no-heading --color=never --hidden --no-ignore-vcs --glob '!.git/' --smart-case -M 1280 ")

;; git grep
("gitgrep"


Cargando…
Cancelar
Guardar