diff options
| author | Juri Linkov <juri@linkov.net> | 2014-12-29 02:54:41 +0200 |
|---|---|---|
| committer | Juri Linkov <juri@linkov.net> | 2014-12-29 02:54:41 +0200 |
| commit | ceed9dd191c6739489f4ba78d82c21e162f5e95d (patch) | |
| tree | 1b0be0a782bd12ae1a4c0aac4b17eb26f7e2e1ed /etc | |
| parent | a0ae3d7331f6126941f90c6b80c293685004e165 (diff) | |
| download | emacs-ceed9dd191c6739489f4ba78d82c21e162f5e95d.tar.gz | |
Small fixes in etc/grep.txt
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/grep.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/etc/grep.txt b/etc/grep.txt index 523b1fa404c..b96a916f905 100644 --- a/etc/grep.txt +++ b/etc/grep.txt @@ -39,7 +39,7 @@ grep -nH --color=always -e "INFO tree" ../info/* * GNU grep 2.5.1 on lines starting with a number and colon -grep -nH -e "Universal Time" ../lispref/* +grep -nH --color=always -e "Universal Time" ../doc/lispref/* ../lispref/os.texi:1010:0:00 January 1, 1970 UTC (Coordinated [01;31mUniversal Time[00m) * GNU grep 2.5.1 with context lines @@ -78,8 +78,8 @@ bzr grep --color=always -in "org-element-map" [35mlisp/org/org.el[1;36m:[0m21047[1;36m:[0m ([1;31morg-element-map[0m * git-grep - with `[diff "el"] xfuncname = "^(\\(.*)$"' in .gitconfig - and `*.el diff=el' in .gitattributes + with `[diff "lisp"] xfuncname = "^(\\(.*)$"' in .gitconfig + and `*.el diff=lisp' in .gitattributes git --no-pager grep -inH -p -e "org-element-map" lisp/org/org.el[36m=[m20969[36m=[m(defun org-fill-paragraph (&optional justify) |