diff options
| -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/* | |||
| 39 | 39 | ||
| 40 | * GNU grep 2.5.1 on lines starting with a number and colon | 40 | * GNU grep 2.5.1 on lines starting with a number and colon |
| 41 | 41 | ||
| 42 | grep -nH -e "Universal Time" ../lispref/* | 42 | grep -nH --color=always -e "Universal Time" ../doc/lispref/* |
| 43 | ../lispref/os.texi:1010:0:00 January 1, 1970 UTC (Coordinated [01;31mUniversal Time[00m) | 43 | ../lispref/os.texi:1010:0:00 January 1, 1970 UTC (Coordinated [01;31mUniversal Time[00m) |
| 44 | 44 | ||
| 45 | * GNU grep 2.5.1 with context lines | 45 | * GNU grep 2.5.1 with context lines |
| @@ -78,8 +78,8 @@ bzr grep --color=always -in "org-element-map" | |||
| 78 | [35mlisp/org/org.el[1;36m:[0m21047[1;36m:[0m ([1;31morg-element-map[0m | 78 | [35mlisp/org/org.el[1;36m:[0m21047[1;36m:[0m ([1;31morg-element-map[0m |
| 79 | 79 | ||
| 80 | * git-grep | 80 | * git-grep |
| 81 | with `[diff "el"] xfuncname = "^(\\(.*)$"' in .gitconfig | 81 | with `[diff "lisp"] xfuncname = "^(\\(.*)$"' in .gitconfig |
| 82 | and `*.el diff=el' in .gitattributes | 82 | and `*.el diff=lisp' in .gitattributes |
| 83 | 83 | ||
| 84 | git --no-pager grep -inH -p -e "org-element-map" | 84 | git --no-pager grep -inH -p -e "org-element-map" |
| 85 | lisp/org/org.el[36m=[m20969[36m=[m(defun org-fill-paragraph (&optional justify) | 85 | lisp/org/org.el[36m=[m20969[36m=[m(defun org-fill-paragraph (&optional justify) |