diff options
| author | Juri Linkov | 2013-05-24 23:54:38 +0300 |
|---|---|---|
| committer | Juri Linkov | 2013-05-24 23:54:38 +0300 |
| commit | 7a1d7ba7d22e9d82fdde0bc6e9fcc5152a7c9670 (patch) | |
| tree | 31e234c917519abc1e541d049e9360f8daaed248 /etc | |
| parent | 650cff3d874e68a8aa80cbdb71ff9f48e10d1cb6 (diff) | |
| download | emacs-7a1d7ba7d22e9d82fdde0bc6e9fcc5152a7c9670.tar.gz emacs-7a1d7ba7d22e9d82fdde0bc6e9fcc5152a7c9670.zip | |
* lisp/progmodes/grep.el (grep-mode-font-lock-keywords): Support =linenumber=
format used by git-grep for lines with function names.
Fixes: debbugs:13549
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/grep.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/etc/grep.txt b/etc/grep.txt index 70f250101ff..86f725899eb 100644 --- a/etc/grep.txt +++ b/etc/grep.txt | |||
| @@ -72,6 +72,14 @@ Grep finished (matches found) at Thu Jul 21 15:02:15 | |||
| 72 | agrep -n "INFO tree" ../info/* | 72 | agrep -n "INFO tree" ../info/* |
| 73 | ../info/dir: 6: File: dir Node: Top This is the top of the INFO tree | 73 | ../info/dir: 6: File: dir Node: Top This is the top of the INFO tree |
| 74 | 74 | ||
| 75 | * git-grep | ||
| 76 | with `[diff "el"] xfuncname = "^(\\(.*)$"' in .gitconfig | ||
| 77 | and `*.el diff=el' in .gitattributes | ||
| 78 | |||
| 79 | git grep -inH -p -e "org-element-map" | ||
| 80 | lisp/org/org.el=20969=(defun org-fill-paragraph (&optional justify) | ||
| 81 | lisp/org/org.el:21047: (org-element-map | ||
| 82 | |||
| 75 | * unknown greps | 83 | * unknown greps |
| 76 | 84 | ||
| 77 | grep -nH -e "xyzxyz" ../info/* | 85 | grep -nH -e "xyzxyz" ../info/* |