Przeglądaj źródła

Update rg command

master
10sr 5 lat temu
rodzic
commit
99c688d3e8
Podpisane przez: 10sr ID klucza GPG: C384BB17CBB19347
1 zmienionych plików z 1 dodań i 1 usunięć
  1. +1
    -1
      emacs.el

+ 1
- 1
emacs.el Wyświetl plik

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

;; git grep
("gitgrep"


Ładowanie…
Anuluj
Zapisz