coding.c (complement_process_encoding_system): Fix previous change.
[bpt/emacs.git] / doc / emacs / search.texi
CommitLineData
8cf51b2c
GM
1@c This is part of the Emacs manual.
2@c Copyright (C) 1985, 1986, 1987, 1993, 1994, 1995, 1997, 2000, 2001, 2002,
8838673e
GM
3@c 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
4@c Free Software Foundation, Inc.
8cf51b2c
GM
5@c See file emacs.texi for copying conditions.
6@node Search, Fixit, Display, Top
7@chapter Searching and Replacement
8@cindex searching
9@cindex finding strings within text
10
b5fb9df5
CY
11 Like other editors, Emacs has commands to search for occurrences of
12a string. Emacs also has commands to replace occurrences of a string
13with a different string. There are also commands that do the same
14thing, but search for patterns instead of fixed strings.
15
16 You can also search multiple files under the control of a tags table
17(@pxref{Tags Search}) or through the Dired @kbd{A} command
8cf51b2c
GM
18(@pxref{Operating on Files}), or ask the @code{grep} program to do it
19(@pxref{Grep Searching}).
20
21
22@menu
8838673e
GM
23* Incremental Search:: Search happens as you type the string.
24* Nonincremental Search:: Specify entire string and then search.
25* Word Search:: Search for sequence of words.
26* Regexp Search:: Search for match for a regexp.
27* Regexps:: Syntax of regular expressions.
28* Regexp Backslash:: Regular expression constructs starting with `\'.
29* Regexp Example:: A complex regular expression explained.
30* Search Case:: To ignore case while searching, or not.
31* Replace:: Search, and replace some or all matches.
32* Other Repeating Search:: Operating on all matches for some regexp.
8cf51b2c
GM
33@end menu
34
35@node Incremental Search
36@section Incremental Search
37@cindex incremental search
38@cindex isearch
39
b5fb9df5
CY
40 The principal search command in Emacs is @dfn{incremental}: it
41begins searching as soon as you type the first character of the search
42string. As you type in the search string, Emacs shows you where the
43string (as you have typed it so far) would be found. When you have
44typed enough characters to identify the place you want, you can stop.
45Depending on what you plan to do next, you may or may not need to
46terminate the search explicitly with @key{RET}.
8cf51b2c
GM
47
48@table @kbd
49@item C-s
50Incremental search forward (@code{isearch-forward}).
51@item C-r
52Incremental search backward (@code{isearch-backward}).
53@end table
54
55@menu
56* Basic Isearch:: Basic incremental search commands.
57* Repeat Isearch:: Searching for the same string again.
58* Error in Isearch:: When your string is not found.
59* Special Isearch:: Special input in incremental search.
8cf51b2c
GM
60* Isearch Yank:: Commands that grab text into the search string
61 or else edit the search string.
8cf51b2c 62* Isearch Scroll:: Scrolling during an incremental search.
b5fb9df5 63* Isearch Minibuffer:: Incremental search of the minibuffer history.
8cf51b2c
GM
64* Slow Isearch:: Incremental search features for slow terminals.
65@end menu
66
67@node Basic Isearch
68@subsection Basics of Incremental Search
69
b5fb9df5 70@table @kbd
97b3a00b 71@item C-s
b5fb9df5
CY
72Begin incremental search (@code{isearch-forward}).
73@item C-r
74Begin reverse incremental search (@code{isearch-backward}).
75@end table
76
8cf51b2c
GM
77@kindex C-s
78@findex isearch-forward
b5fb9df5
CY
79 @kbd{C-s} (@code{isearch-forward}) starts a forward incremental
80search. It reads characters from the keyboard, and moves point just
81past the end of the next occurrence of those characters in the buffer.
82
83 For instance, if you type @kbd{C-s} and then @kbd{F}, that puts the
84cursor after the first @samp{F} that occurs in the buffer after the
85starting point. Then if you then type @kbd{O}, the cursor moves to
86just after the first @samp{FO}; the @samp{F} in that @samp{FO} might
87not be the first @samp{F} previously found. After another @kbd{O},
88the cursor moves to just after the first @samp{FOO}.
89
90@cindex faces for highlighting search matches
91 At each step, Emacs highlights the @dfn{current match}---the buffer
92text that matches the search string---using the @code{isearch} face
93(@pxref{Faces}). The current search string is also displayed in the
94echo area.
95
96 If you make a mistake typing the search string, type @key{DEL}.
97Each @key{DEL} cancels the last character of the search string.
98
99 When you are satisfied with the place you have reached, type
100@key{RET}. This stops searching, leaving the cursor where the search
8cf51b2c
GM
101brought it. Also, any command not specially meaningful in searches
102stops the searching and is then executed. Thus, typing @kbd{C-a}
b5fb9df5 103exits the search and then moves to the beginning of the line.
8cf51b2c
GM
104@key{RET} is necessary only if the next command you want to type is a
105printing character, @key{DEL}, @key{RET}, or another character that is
106special within searches (@kbd{C-q}, @kbd{C-w}, @kbd{C-r}, @kbd{C-s},
b5fb9df5
CY
107@kbd{C-y}, @kbd{M-y}, @kbd{M-r}, @kbd{M-c}, @kbd{M-e}, and some others
108described below).
109
110 As a special exception, entering @key{RET} when the search string is
111empty launches nonincremental search (@pxref{Nonincremental Search}).
8cf51b2c 112
6184c708 113 When you exit the incremental search, it adds the original value of
b5fb9df5
CY
114point to the mark ring, without activating the mark; you can thus use
115@kbd{C-u C-@key{SPC}} to return to where you were before beginning the
6184c708
CY
116search. @xref{Mark Ring}. It only does this if the mark was not
117already active.
8cf51b2c 118
b5fb9df5
CY
119@kindex C-r
120@findex isearch-backward
121 To search backwards, use @kbd{C-r} (@code{isearch-backward}) instead
122of @kbd{C-s} to start the search. A backward search finds matches
123that end before the starting point, just as a forward search finds
124matches that begin after it.
125
8cf51b2c
GM
126@node Repeat Isearch
127@subsection Repeating Incremental Search
128
b5fb9df5
CY
129 Suppose you search forward for @samp{FOO} and find a match, but not
130the one you expected to find: the @samp{FOO} you were aiming for
131occurs later in the buffer. In this event, type another @kbd{C-s} to
132move to the next occurrence of the search string. You can repeat this
133any number of times. If you overshoot, you can cancel some @kbd{C-s}
134characters with @key{DEL}. Similarly, each @kbd{C-r} in a backward
135incremental search repeats the backward search.
136
137@cindex lazy search highlighting
138@vindex isearch-lazy-highlight
139 If you pause for a little while during incremental search, Emacs
140highlights all the other possible matches for the search string that
141are present on the screen. This helps you anticipate where you can
142get to by typing @kbd{C-s} or @kbd{C-r} to repeat the search. The
143other matches are highlighted differently from the current match,
144using the customizable face @code{lazy-highlight} (@pxref{Faces}). If
145you don't like this feature, you can disable it by setting
146@code{isearch-lazy-highlight} to @code{nil}.
147
148 After exiting a search, you can search for the same string again by
149typing just @kbd{C-s C-s}. The first @kbd{C-s} is the key that
150invokes incremental search, and the second @kbd{C-s} means ``search
151again.'' Similarly, @kbd{C-r C-r} searches backward for the last
152search string. In determining the last search string, it doesn't
153matter whether the string was searched for with @kbd{C-s} or
154@kbd{C-r}.
8cf51b2c 155
b5fb9df5
CY
156 If you are searching forward but you realize you were looking for
157something before the starting point, type @kbd{C-r} to switch to a
158backward search, leaving the search string unchanged. Similarly,
159@kbd{C-s} in a backward search switches to a forward search.
8cf51b2c
GM
160
161 If a search is failing and you ask to repeat it by typing another
162@kbd{C-s}, it starts again from the beginning of the buffer.
163Repeating a failing reverse search with @kbd{C-r} starts again from
164the end. This is called @dfn{wrapping around}, and @samp{Wrapped}
165appears in the search prompt once this has happened. If you keep on
166going past the original starting point of the search, it changes to
167@samp{Overwrapped}, which means that you are revisiting matches that
168you have already seen.
169
b5fb9df5 170@cindex search ring
8cf51b2c 171 To reuse earlier search strings, use the @dfn{search ring}. The
b5fb9df5
CY
172commands @kbd{M-p} and @kbd{M-n} move through the ring to pick a
173search string to reuse. These commands leave the selected search ring
174element in the minibuffer, where you can edit it. To edit the current
175search string in the minibuffer without replacing it with items from
176the search ring, type @kbd{M-e}. Type @kbd{C-s} or @kbd{C-r} to
177terminate editing the string and search for it.
8cf51b2c
GM
178
179@node Error in Isearch
180@subsection Errors in Incremental Search
181
182 If your string is not found at all, the echo area says @samp{Failing
b5fb9df5
CY
183I-Search}. The cursor is after the place where Emacs found as much of
184your string as it could. Thus, if you search for @samp{FOOT}, and
185there is no @samp{FOOT}, you might see the cursor after the @samp{FOO}
186in @samp{FOOL}. In the echo area, the part of the search string that
187failed to match is highlighted using the customizable face
188@code{isearch-fail}.
189
190 At this point, there are several things you can do. If your string
191was mistyped, you can use @key{DEL} to erase some of it and correct
192it. If you like the place you have found, you can type @key{RET} to
193remain there. Or you can type @kbd{C-g}, which removes from the
194search string the characters that could not be found (the @samp{T} in
195@samp{FOOT}), leaving those that were found (the @samp{FOO} in
8cf51b2c
GM
196@samp{FOOT}). A second @kbd{C-g} at that point cancels the search
197entirely, returning point to where it was when the search started.
198
199@cindex quitting (in search)
b5fb9df5
CY
200 The quit command, @kbd{C-g}, does special things during searches;
201just what it does depends on the status of the search. If the search
202has found what you specified and is waiting for input, @kbd{C-g}
203cancels the entire search, moving the cursor back to where you started
204the search. If @kbd{C-g} is typed when there are characters in the
205search string that have not been found---because Emacs is still
206searching for them, or because it has failed to find them---then the
207search string characters which have not been found are discarded from
208the search string. With them gone, the search is now successful and
209waiting for more input, so a second @kbd{C-g} will cancel the entire
210search.
8cf51b2c
GM
211
212@node Special Isearch
213@subsection Special Input for Incremental Search
214
b5fb9df5
CY
215 Some of the characters you type during incremental search have
216special effects.
217
218 If the search string you entered contains only lower-case letters,
219the search is case-insensitive; as long as an upper-case letter exists
220in the search string, the search becomes case-sensitive. If you
221delete the upper-case character from the search string, it ceases to
222have this effect. @xref{Search Case}.
223
224 To search for a newline character, type @kbd{C-j}.
225
226 To search for other control characters, such as @key{control-S},
227quote it by typing @kbd{C-q} first (@pxref{Inserting Text}). To
228search for non-@acronym{ASCII} characters, you can either use
229@kbd{C-q} and enter its octal code, or use an input method
230(@pxref{Input Methods}). If an input method is enabled in the current
231buffer when you start the search, you can use it in the search string
232also. While typing the search string, you can toggle the input method
233with the command @kbd{C-\} (@code{isearch-toggle-input-method}). You
234can also turn on a non-default input method with @kbd{C-^}
235(@code{isearch-toggle-specified-input-method}), which prompts for the
236name of the input method. When an input method is active during
237incremental search, the search prompt includes the input method
238mnemonic, like this:
8cf51b2c
GM
239
240@example
241I-search [@var{im}]:
242@end example
243
244@noindent
245@findex isearch-toggle-input-method
246@findex isearch-toggle-specified-input-method
b5fb9df5
CY
247where @var{im} is the mnemonic of the active input method. Any input
248method you enable during incremental search remains enabled in the
249current buffer afterwards.
8cf51b2c 250
9cfa31ea
CY
251@kindex M-% @r{(Incremental search)}
252 Typing @kbd{M-%} in incremental search invokes @code{query-replace}
b5fb9df5
CY
253or @code{query-replace-regexp} (depending on search mode) with the
254current search string used as the string to replace. @xref{Query
255Replace}.
256
9cfa31ea
CY
257@kindex M-TAB @r{(Incremental search)}
258 Typing @kbd{M-@key{TAB}} in incremental search invokes
259@code{isearch-complete}, which attempts to complete the search string
260using the search ring as a list of completion alternatives.
261@xref{Completion}. In many operating systems, the @kbd{M-@key{TAB}}
262key sequence is captured by the window manager; you then need to
263rebind @code{isearch-complete} to another key sequence if you want to
264use it (@pxref{Rebinding}).
265
b5fb9df5
CY
266@vindex isearch-mode-map
267 When incremental search is active, you can type @kbd{C-h C-h} to
268access interactive help options, including a list of special
269keybindings. These keybindings are part of the keymap
270@code{isearch-mode-map} (@pxref{Keymaps}).
8cf51b2c
GM
271
272@node Isearch Yank
273@subsection Isearch Yanking
274
b5fb9df5
CY
275 Within incremental search, you can use @kbd{C-w} and @kbd{C-y} to grab
276text from the buffer into the search string. This makes it convenient
277to search for another occurrence of text at point.
278
279 @kbd{C-w} copies the character or word after point and adds it to
280the search string, advancing point over it. (The decision, whether to
281copy a character or a word, is heuristic.)
8cf51b2c
GM
282
283 @kbd{C-y} is similar to @kbd{C-w} but copies all the rest of the
284current line into the search string. If point is already at the end
b5fb9df5
CY
285of a line, it grabs the entire next line. If the search is currently
286case-insensitive, both @kbd{C-y} and @kbd{C-w} convert the text they
287copy to lower case, so that the search remains case-insensitive.
8cf51b2c
GM
288
289 @kbd{C-M-w} and @kbd{C-M-y} modify the search string by only one
290character at a time: @kbd{C-M-w} deletes the last character from the
291search string and @kbd{C-M-y} copies the character after point to the
292end of the search string. An alternative method to add the character
293after point into the search string is to enter the minibuffer by
294@kbd{M-e} and to type @kbd{C-f} at the end of the search string in the
295minibuffer.
296
b5fb9df5
CY
297 The character @kbd{M-y} copies text from the kill ring into the
298search string. It uses the same text that @kbd{C-y} would yank.
299@kbd{Mouse-2} in the echo area does the same. @xref{Yanking}.
8cf51b2c
GM
300
301@node Isearch Scroll
302@subsection Scrolling During Incremental Search
303
40e67246 304@vindex isearch-allow-scroll
8cf51b2c
GM
305 You can enable the use of vertical scrolling during incremental
306search (without exiting the search) by setting the customizable
307variable @code{isearch-allow-scroll} to a non-@code{nil} value. This
308applies to using the vertical scroll-bar and to certain keyboard
b5700de6
CY
309commands such as @key{prior} (@code{scroll-down}), @key{next}
310(@code{scroll-up}) and @kbd{C-l} (@code{recenter}). You must run
311these commands via their key sequences to stay in the search---typing
312@kbd{M-x} will terminate the search. You can give prefix arguments to
313these commands in the usual way.
8cf51b2c
GM
314
315 This feature won't let you scroll the current match out of visibility,
316however.
317
318 The feature also affects some other commands, such as @kbd{C-x 2}
319(@code{split-window-vertically}) and @kbd{C-x ^}
320(@code{enlarge-window}) which don't exactly scroll but do affect where
321the text appears on the screen. In general, it applies to any command
322whose name has a non-@code{nil} @code{isearch-scroll} property. So you
323can control which commands are affected by changing these properties.
324
325 For example, to make @kbd{C-h l} usable within an incremental search
326in all future Emacs sessions, use @kbd{C-h c} to find what command it
327runs. (You type @kbd{C-h c C-h l}; it says @code{view-lossage}.)
328Then you can put the following line in your @file{.emacs} file
329(@pxref{Init File}):
330
331@example
332(put 'view-lossage 'isearch-scroll t)
333@end example
334
335@noindent
336This feature can be applied to any command that doesn't permanently
337change point, the buffer contents, the match data, the current buffer,
338or the selected window and frame. The command must not itself attempt
339an incremental search.
340
b5fb9df5
CY
341@node Isearch Minibuffer
342@subsection Searching the Minibuffer
343@cindex minibuffer history, searching
344
345If you start an incremental search while the minibuffer is active,
346Emacs searches the contents of the minibuffer. Unlike searching an
347ordinary buffer, the search string is not shown in the echo area,
348because that is used to display the minibuffer.
349
350If an incremental search fails in the minibuffer, it tries searching
351the minibuffer history. @xref{Minibuffer History}. You can visualize
352the minibuffer and its history as a series of ``pages'', with the
353earliest history element on the first page and the current minibuffer
354on the last page. A forward search, @kbd{C-s}, searches forward to
355later pages; a reverse search, @kbd{C-r}, searches backwards to
356earlier pages. Like in ordinary buffer search, a failing search can
357wrap around, going from the last page to the first page or vice versa.
358
359When the current match is on a history element, that history element
360is pulled into the minibuffer. If you exit the incremental search
361normally (e.g. by typing @key{RET}), it remains in the minibuffer
362afterwards. Cancelling the search, with @kbd{C-g}, restores the
363contents of the minibuffer when you began the search.
364
8cf51b2c
GM
365@node Slow Isearch
366@subsection Slow Terminal Incremental Search
367
368 Incremental search on a slow terminal uses a modified style of display
369that is designed to take less time. Instead of redisplaying the buffer at
370each place the search gets to, it creates a new single-line window and uses
371that to display the line that the search has found. The single-line window
372comes into play as soon as point moves outside of the text that is already
373on the screen.
374
375 When you terminate the search, the single-line window is removed.
376Emacs then redisplays the window in which the search was done, to show
377its new position of point.
378
379@vindex search-slow-speed
380 The slow terminal style of display is used when the terminal baud rate is
381less than or equal to the value of the variable @code{search-slow-speed},
382initially 1200. See also the discussion of the variable @code{baud-rate}
383(@pxref{baud-rate,, Customization of Display}).
384
385@vindex search-slow-window-lines
386 The number of lines to use in slow terminal search display is controlled
387by the variable @code{search-slow-window-lines}. Its normal value is 1.
388
389@node Nonincremental Search
390@section Nonincremental Search
391@cindex nonincremental search
392
393 Emacs also has conventional nonincremental search commands, which require
394you to type the entire search string before searching begins.
395
396@table @kbd
397@item C-s @key{RET} @var{string} @key{RET}
398Search for @var{string}.
399@item C-r @key{RET} @var{string} @key{RET}
400Search backward for @var{string}.
401@end table
402
b5fb9df5
CY
403 To start a nonincremental search, first type @kbd{C-s @key{RET}}.
404This enters the minibuffer to read the search string; terminate the
405string with @key{RET}, and then the search takes place. If the string
406is not found, the search command signals an error.
8cf51b2c
GM
407
408 When you type @kbd{C-s @key{RET}}, the @kbd{C-s} invokes incremental
409search as usual. That command is specially programmed to invoke
410nonincremental search, @code{search-forward}, if the string you
411specify is empty. (Such an empty argument would otherwise be
b5fb9df5
CY
412useless.) @kbd{C-r @key{RET}} does likewise, for a reverse
413incremental search.
8cf51b2c
GM
414
415@findex search-forward
416@findex search-backward
417 Forward and backward nonincremental searches are implemented by the
418commands @code{search-forward} and @code{search-backward}. These
b5fb9df5 419commands may be bound to other keys in the usual manner.
8cf51b2c
GM
420
421@node Word Search
422@section Word Search
423@cindex word search
424
b5fb9df5
CY
425 A @dfn{word search} finds a sequence of words without regard to the
426type of punctuation between them. For instance, if you enter a search
427string that consists of two words separated by a single space, the
428search matches any sequence of those two words separated by one or
429more spaces, newlines, or other punctuation characters. This is
430particularly useful for searching text documents, because you don't
431have to worry whether the words you are looking for are separated by
432newlines or spaces.
8cf51b2c
GM
433
434@table @kbd
b5fb9df5
CY
435@item M-s w
436If incremental search is active, toggle word search mode
437(@code{isearch-toggle-word}); otherwise, begin an incremental forward
438word search (@code{isearch-forward-word}).
97b3a00b
JL
439@item M-s w @key{RET} @var{words} @key{RET}
440Search for @var{words}, using a forward nonincremental word search.
441@item M-s w C-r @key{RET} @var{words} @key{RET}
442Search backward for @var{words}, using a nonincremental word search.
8cf51b2c
GM
443@end table
444
97b3a00b
JL
445@kindex M-s w
446@findex isearch-forward-word
b5fb9df5
CY
447 To begin a forward incremental word search, type @kbd{M-s w}. If
448incremental search is not already active, this runs the command
449@code{isearch-forward-word}. If incremental search is already active
450(whether a forward or backward search), @kbd{M-s w} switches to a word
451search while keeping the direction of the search and the current
452search string unchanged. You can toggle word search back off by
453typing @kbd{M-s w} again.
8cf51b2c
GM
454
455@findex word-search-forward
456@findex word-search-backward
97b3a00b
JL
457 To begin a nonincremental word search, type @kbd{M-s w @key{RET}}
458for a forward search, or @kbd{M-s w C-r @key{RET}} for a backward search.
b5fb9df5
CY
459These run the commands @code{word-search-forward} and
460@code{word-search-backward} respectively.
461
462 A nonincremental word search differs slightly from the incremental
463version in the way it finds a match: the last word in the search
464string must be an exact match for a whole word. In an incremental
465word search, the last word in the search string can match part of a
466word; this allows the matching to proceed incrementally as you type.
8cf51b2c
GM
467
468@node Regexp Search
469@section Regular Expression Search
470@cindex regular expression
471@cindex regexp
472
b5fb9df5
CY
473 A @dfn{regular expression} (or @dfn{regexp} for short) is a pattern
474that denotes a class of alternative strings to match. GNU Emacs
475provides both incremental and nonincremental ways to search for a
476match for a regexp. The syntax of regular expressions is explained in
477the following section.
8cf51b2c 478
97b3a00b
JL
479@table @kbd
480@item C-M-s
481Begin incremental regexp search (@code{isearch-forward-regexp}).
482@item C-M-r
483Begin reverse incremental regexp search (@code{isearch-backward-regexp}).
484@end table
485
8cf51b2c
GM
486@kindex C-M-s
487@findex isearch-forward-regexp
488@kindex C-M-r
489@findex isearch-backward-regexp
490 Incremental search for a regexp is done by typing @kbd{C-M-s}
491(@code{isearch-forward-regexp}), by invoking @kbd{C-s} with a
492prefix argument (whose value does not matter), or by typing @kbd{M-r}
493within a forward incremental search. This command reads a
494search string incrementally just like @kbd{C-s}, but it treats the
495search string as a regexp rather than looking for an exact match
496against the text in the buffer. Each time you add text to the search
497string, you make the regexp longer, and the new regexp is searched
498for. To search backward for a regexp, use @kbd{C-M-r}
499(@code{isearch-backward-regexp}), @kbd{C-r} with a prefix argument,
500or @kbd{M-r} within a backward incremental search.
501
b5fb9df5
CY
502 All of the special key sequences in an ordinary incremental search
503do similar things in an incremental regexp search. For instance,
504typing @kbd{C-s} immediately after starting the search retrieves the
505last incremental search regexp used and searches forward for it.
506Incremental regexp and non-regexp searches have independent defaults.
507They also have separate search rings, which you can access with
8cf51b2c
GM
508@kbd{M-p} and @kbd{M-n}.
509
510@vindex search-whitespace-regexp
511 If you type @key{SPC} in incremental regexp search, it matches any
512sequence of whitespace characters, including newlines. If you want to
513match just a space, type @kbd{C-q @key{SPC}}. You can control what a
514bare space matches by setting the variable
515@code{search-whitespace-regexp} to the desired regexp.
516
b5fb9df5
CY
517 In some cases, adding characters to the regexp in an incremental
518regexp search can make the cursor move back and start again. For
519example, if you have searched for @samp{foo} and you add @samp{\|bar},
520the cursor backs up in case the first @samp{bar} precedes the first
521@samp{foo}. @xref{Regexps}.
8cf51b2c
GM
522
523 Forward and backward regexp search are not symmetrical, because
524regexp matching in Emacs always operates forward, starting with the
525beginning of the regexp. Thus, forward regexp search scans forward,
526trying a forward match at each possible starting position. Backward
527regexp search scans backward, trying a forward match at each possible
528starting position. These search methods are not mirror images.
529
530@findex re-search-forward
531@findex re-search-backward
532 Nonincremental search for a regexp is done by the functions
b5fb9df5
CY
533@code{re-search-forward} and @code{re-search-backward}. You can
534invoke these with @kbd{M-x}, or by way of incremental regexp search
535with @kbd{C-M-s @key{RET}} and @kbd{C-M-r @key{RET}}.
8cf51b2c
GM
536
537 If you use the incremental regexp search commands with a prefix
538argument, they perform ordinary string search, like
539@code{isearch-forward} and @code{isearch-backward}. @xref{Incremental
540Search}.
541
542@node Regexps
543@section Syntax of Regular Expressions
544@cindex syntax of regexps
545
546 This manual describes regular expression features that users
547typically want to use. There are additional features that are
548mainly used in Lisp programs; see @ref{Regular Expressions,,,
549elisp, The Emacs Lisp Reference Manual}.
550
551 Regular expressions have a syntax in which a few characters are
552special constructs and the rest are @dfn{ordinary}. An ordinary
553character is a simple regular expression which matches that same
554character and nothing else. The special characters are @samp{$},
555@samp{^}, @samp{.}, @samp{*}, @samp{+}, @samp{?}, @samp{[}, and
556@samp{\}. The character @samp{]} is special if it ends a character
557alternative (see later). The character @samp{-} is special inside a
558character alternative. Any other character appearing in a regular
559expression is ordinary, unless a @samp{\} precedes it. (When you use
560regular expressions in a Lisp program, each @samp{\} must be doubled,
561see the example near the end of this section.)
562
563 For example, @samp{f} is not a special character, so it is ordinary, and
564therefore @samp{f} is a regular expression that matches the string
565@samp{f} and no other string. (It does @emph{not} match the string
566@samp{ff}.) Likewise, @samp{o} is a regular expression that matches
567only @samp{o}. (When case distinctions are being ignored, these regexps
568also match @samp{F} and @samp{O}, but we consider this a generalization
569of ``the same string,'' rather than an exception.)
570
571 Any two regular expressions @var{a} and @var{b} can be concatenated. The
572result is a regular expression which matches a string if @var{a} matches
573some amount of the beginning of that string and @var{b} matches the rest of
574the string.@refill
575
576 As a simple example, we can concatenate the regular expressions @samp{f}
577and @samp{o} to get the regular expression @samp{fo}, which matches only
578the string @samp{fo}. Still trivial. To do something nontrivial, you
579need to use one of the special characters. Here is a list of them.
580
581@table @asis
582@item @kbd{.}@: @r{(Period)}
583is a special character that matches any single character except a newline.
584Using concatenation, we can make regular expressions like @samp{a.b}, which
585matches any three-character string that begins with @samp{a} and ends with
586@samp{b}.@refill
587
588@item @kbd{*}
589is not a construct by itself; it is a postfix operator that means to
590match the preceding regular expression repetitively as many times as
591possible. Thus, @samp{o*} matches any number of @samp{o}s (including no
592@samp{o}s).
593
594@samp{*} always applies to the @emph{smallest} possible preceding
595expression. Thus, @samp{fo*} has a repeating @samp{o}, not a repeating
596@samp{fo}. It matches @samp{f}, @samp{fo}, @samp{foo}, and so on.
597
598The matcher processes a @samp{*} construct by matching, immediately,
599as many repetitions as can be found. Then it continues with the rest
600of the pattern. If that fails, backtracking occurs, discarding some
601of the matches of the @samp{*}-modified construct in case that makes
602it possible to match the rest of the pattern. For example, in matching
603@samp{ca*ar} against the string @samp{caaar}, the @samp{a*} first
604tries to match all three @samp{a}s; but the rest of the pattern is
605@samp{ar} and there is only @samp{r} left to match, so this try fails.
606The next alternative is for @samp{a*} to match only two @samp{a}s.
607With this choice, the rest of the regexp matches successfully.@refill
608
609@item @kbd{+}
610is a postfix operator, similar to @samp{*} except that it must match
611the preceding expression at least once. So, for example, @samp{ca+r}
612matches the strings @samp{car} and @samp{caaaar} but not the string
613@samp{cr}, whereas @samp{ca*r} matches all three strings.
614
615@item @kbd{?}
616is a postfix operator, similar to @samp{*} except that it can match the
617preceding expression either once or not at all. For example,
618@samp{ca?r} matches @samp{car} or @samp{cr}; nothing else.
619
620@item @kbd{*?}, @kbd{+?}, @kbd{??}
621@cindex non-greedy regexp matching
622are non-greedy variants of the operators above. The normal operators
623@samp{*}, @samp{+}, @samp{?} are @dfn{greedy} in that they match as
624much as they can, as long as the overall regexp can still match. With
625a following @samp{?}, they are non-greedy: they will match as little
626as possible.
627
628Thus, both @samp{ab*} and @samp{ab*?} can match the string @samp{a}
629and the string @samp{abbbb}; but if you try to match them both against
630the text @samp{abbb}, @samp{ab*} will match it all (the longest valid
631match), while @samp{ab*?} will match just @samp{a} (the shortest
632valid match).
633
634Non-greedy operators match the shortest possible string starting at a
635given starting point; in a forward search, though, the earliest
636possible starting point for match is always the one chosen. Thus, if
637you search for @samp{a.*?$} against the text @samp{abbab} followed by
638a newline, it matches the whole string. Since it @emph{can} match
639starting at the first @samp{a}, it does.
640
641@item @kbd{\@{@var{n}\@}}
642is a postfix operator that specifies repetition @var{n} times---that
643is, the preceding regular expression must match exactly @var{n} times
644in a row. For example, @samp{x\@{4\@}} matches the string @samp{xxxx}
645and nothing else.
646
647@item @kbd{\@{@var{n},@var{m}\@}}
648is a postfix operator that specifies repetition between @var{n} and
649@var{m} times---that is, the preceding regular expression must match
650at least @var{n} times, but no more than @var{m} times. If @var{m} is
651omitted, then there is no upper limit, but the preceding regular
652expression must match at least @var{n} times.@* @samp{\@{0,1\@}} is
653equivalent to @samp{?}. @* @samp{\@{0,\@}} is equivalent to
654@samp{*}. @* @samp{\@{1,\@}} is equivalent to @samp{+}.
655
656@item @kbd{[ @dots{} ]}
657is a @dfn{character set}, which begins with @samp{[} and is terminated
658by @samp{]}. In the simplest case, the characters between the two
659brackets are what this set can match.
660
661Thus, @samp{[ad]} matches either one @samp{a} or one @samp{d}, and
662@samp{[ad]*} matches any string composed of just @samp{a}s and @samp{d}s
663(including the empty string), from which it follows that @samp{c[ad]*r}
664matches @samp{cr}, @samp{car}, @samp{cdr}, @samp{caddaar}, etc.
665
666You can also include character ranges in a character set, by writing the
667starting and ending characters with a @samp{-} between them. Thus,
668@samp{[a-z]} matches any lower-case @acronym{ASCII} letter. Ranges may be
669intermixed freely with individual characters, as in @samp{[a-z$%.]},
670which matches any lower-case @acronym{ASCII} letter or @samp{$}, @samp{%} or
671period.
672
673Note that the usual regexp special characters are not special inside a
674character set. A completely different set of special characters exists
675inside character sets: @samp{]}, @samp{-} and @samp{^}.
676
677To include a @samp{]} in a character set, you must make it the first
678character. For example, @samp{[]a]} matches @samp{]} or @samp{a}. To
679include a @samp{-}, write @samp{-} as the first or last character of the
680set, or put it after a range. Thus, @samp{[]-]} matches both @samp{]}
681and @samp{-}.
682
683To include @samp{^} in a set, put it anywhere but at the beginning of
684the set. (At the beginning, it complements the set---see below.)
685
686When you use a range in case-insensitive search, you should write both
687ends of the range in upper case, or both in lower case, or both should
688be non-letters. The behavior of a mixed-case range such as @samp{A-z}
689is somewhat ill-defined, and it may change in future Emacs versions.
690
691@item @kbd{[^ @dots{} ]}
692@samp{[^} begins a @dfn{complemented character set}, which matches any
693character except the ones specified. Thus, @samp{[^a-z0-9A-Z]} matches
694all characters @emph{except} @acronym{ASCII} letters and digits.
695
696@samp{^} is not special in a character set unless it is the first
697character. The character following the @samp{^} is treated as if it
698were first (in other words, @samp{-} and @samp{]} are not special there).
699
700A complemented character set can match a newline, unless newline is
701mentioned as one of the characters not to match. This is in contrast to
702the handling of regexps in programs such as @code{grep}.
703
704@item @kbd{^}
705is a special character that matches the empty string, but only at the
706beginning of a line in the text being matched. Otherwise it fails to
707match anything. Thus, @samp{^foo} matches a @samp{foo} that occurs at
708the beginning of a line.
709
710For historical compatibility reasons, @samp{^} can be used with this
711meaning only at the beginning of the regular expression, or after
712@samp{\(} or @samp{\|}.
713
714@item @kbd{$}
715is similar to @samp{^} but matches only at the end of a line. Thus,
716@samp{x+$} matches a string of one @samp{x} or more at the end of a line.
717
718For historical compatibility reasons, @samp{$} can be used with this
719meaning only at the end of the regular expression, or before @samp{\)}
720or @samp{\|}.
721
722@item @kbd{\}
723has two functions: it quotes the special characters (including
724@samp{\}), and it introduces additional special constructs.
725
726Because @samp{\} quotes special characters, @samp{\$} is a regular
727expression that matches only @samp{$}, and @samp{\[} is a regular
728expression that matches only @samp{[}, and so on.
729
730See the following section for the special constructs that begin
731with @samp{\}.
732@end table
733
734 Note: for historical compatibility, special characters are treated as
735ordinary ones if they are in contexts where their special meanings make no
736sense. For example, @samp{*foo} treats @samp{*} as ordinary since there is
737no preceding expression on which the @samp{*} can act. It is poor practice
738to depend on this behavior; it is better to quote the special character anyway,
739regardless of where it appears.
740
741As a @samp{\} is not special inside a character alternative, it can
742never remove the special meaning of @samp{-} or @samp{]}. So you
743should not quote these characters when they have no special meaning
744either. This would not clarify anything, since backslashes can
745legitimately precede these characters where they @emph{have} special
746meaning, as in @samp{[^\]} (@code{"[^\\]"} for Lisp string syntax),
747which matches any single character except a backslash.
748
749@node Regexp Backslash
750@section Backslash in Regular Expressions
751
752 For the most part, @samp{\} followed by any character matches only
753that character. However, there are several exceptions: two-character
754sequences starting with @samp{\} that have special meanings. The
755second character in the sequence is always an ordinary character when
756used on its own. Here is a table of @samp{\} constructs.
757
758@table @kbd
759@item \|
760specifies an alternative. Two regular expressions @var{a} and @var{b}
761with @samp{\|} in between form an expression that matches some text if
762either @var{a} matches it or @var{b} matches it. It works by trying to
763match @var{a}, and if that fails, by trying to match @var{b}.
764
765Thus, @samp{foo\|bar} matches either @samp{foo} or @samp{bar}
766but no other string.@refill
767
768@samp{\|} applies to the largest possible surrounding expressions. Only a
769surrounding @samp{\( @dots{} \)} grouping can limit the grouping power of
770@samp{\|}.@refill
771
772Full backtracking capability exists to handle multiple uses of @samp{\|}.
773
774@item \( @dots{} \)
775is a grouping construct that serves three purposes:
776
777@enumerate
778@item
779To enclose a set of @samp{\|} alternatives for other operations.
780Thus, @samp{\(foo\|bar\)x} matches either @samp{foox} or @samp{barx}.
781
782@item
783To enclose a complicated expression for the postfix operators @samp{*},
784@samp{+} and @samp{?} to operate on. Thus, @samp{ba\(na\)*} matches
785@samp{bananana}, etc., with any (zero or more) number of @samp{na}
786strings.@refill
787
788@item
789To record a matched substring for future reference.
790@end enumerate
791
792This last application is not a consequence of the idea of a
793parenthetical grouping; it is a separate feature that is assigned as a
794second meaning to the same @samp{\( @dots{} \)} construct. In practice
795there is usually no conflict between the two meanings; when there is
796a conflict, you can use a ``shy'' group.
797
798@item \(?: @dots{} \)
799@cindex shy group, in regexp
800specifies a ``shy'' group that does not record the matched substring;
801you can't refer back to it with @samp{\@var{d}}. This is useful
802in mechanically combining regular expressions, so that you
803can add groups for syntactic purposes without interfering with
804the numbering of the groups that are meant to be referred to.
805
806@item \@var{d}
807@cindex back reference, in regexp
808matches the same text that matched the @var{d}th occurrence of a
809@samp{\( @dots{} \)} construct. This is called a @dfn{back
810reference}.
811
812After the end of a @samp{\( @dots{} \)} construct, the matcher remembers
813the beginning and end of the text matched by that construct. Then,
814later on in the regular expression, you can use @samp{\} followed by the
815digit @var{d} to mean ``match the same text matched the @var{d}th time
816by the @samp{\( @dots{} \)} construct.''
817
818The strings matching the first nine @samp{\( @dots{} \)} constructs
819appearing in a regular expression are assigned numbers 1 through 9 in
820the order that the open-parentheses appear in the regular expression.
821So you can use @samp{\1} through @samp{\9} to refer to the text matched
822by the corresponding @samp{\( @dots{} \)} constructs.
823
824For example, @samp{\(.*\)\1} matches any newline-free string that is
825composed of two identical halves. The @samp{\(.*\)} matches the first
826half, which may be anything, but the @samp{\1} that follows must match
827the same exact text.
828
829If a particular @samp{\( @dots{} \)} construct matches more than once
830(which can easily happen if it is followed by @samp{*}), only the last
831match is recorded.
832
833@item \`
834matches the empty string, but only at the beginning of the string or
835buffer (or its accessible portion) being matched against.
836
837@item \'
838matches the empty string, but only at the end of the string or buffer
839(or its accessible portion) being matched against.
840
841@item \=
842matches the empty string, but only at point.
843
844@item \b
845matches the empty string, but only at the beginning or
846end of a word. Thus, @samp{\bfoo\b} matches any occurrence of
847@samp{foo} as a separate word. @samp{\bballs?\b} matches
848@samp{ball} or @samp{balls} as a separate word.@refill
849
850@samp{\b} matches at the beginning or end of the buffer
851regardless of what text appears next to it.
852
853@item \B
854matches the empty string, but @emph{not} at the beginning or
855end of a word.
856
857@item \<
858matches the empty string, but only at the beginning of a word.
859@samp{\<} matches at the beginning of the buffer only if a
860word-constituent character follows.
861
862@item \>
863matches the empty string, but only at the end of a word. @samp{\>}
864matches at the end of the buffer only if the contents end with a
865word-constituent character.
866
867@item \w
868matches any word-constituent character. The syntax table
869determines which characters these are. @xref{Syntax}.
870
871@item \W
872matches any character that is not a word-constituent.
873
874@item \_<
875matches the empty string, but only at the beginning of a symbol.
876A symbol is a sequence of one or more symbol-constituent characters.
877A symbol-constituent character is a character whose syntax is either
878@samp{w} or @samp{_}. @samp{\_<} matches at the beginning of the
879buffer only if a symbol-constituent character follows.
880
881@item \_>
882matches the empty string, but only at the end of a symbol. @samp{\_>}
883matches at the end of the buffer only if the contents end with a
884symbol-constituent character.
885
886@item \s@var{c}
887matches any character whose syntax is @var{c}. Here @var{c} is a
888character that designates a particular syntax class: thus, @samp{w}
889for word constituent, @samp{-} or @samp{ } for whitespace, @samp{.}
890for ordinary punctuation, etc. @xref{Syntax}.
891
892@item \S@var{c}
893matches any character whose syntax is not @var{c}.
894
895@cindex categories of characters
896@cindex characters which belong to a specific language
897@findex describe-categories
898@item \c@var{c}
899matches any character that belongs to the category @var{c}. For
900example, @samp{\cc} matches Chinese characters, @samp{\cg} matches
901Greek characters, etc. For the description of the known categories,
902type @kbd{M-x describe-categories @key{RET}}.
903
904@item \C@var{c}
905matches any character that does @emph{not} belong to category
906@var{c}.
907@end table
908
909 The constructs that pertain to words and syntax are controlled by the
910setting of the syntax table (@pxref{Syntax}).
911
912@node Regexp Example
913@section Regular Expression Example
914
b5fb9df5
CY
915 Here is an example of a regexp---the regexp that Emacs uses, by
916default, to recognize the end of a sentence, not including the
917following space (i.e., the variable @code{sentence-end-base}):
8cf51b2c
GM
918
919@example
b5fb9df5
CY
920@verbatim
921[.?!][]\"'””)}]*
922@end verbatim
8cf51b2c
GM
923@end example
924
925@noindent
b5fb9df5
CY
926This contains two parts in succession: a character set matching
927period, @samp{?}, or @samp{!}, and a character set matching
928close-brackets, quotes, or parentheses, repeated zero or more times.
8cf51b2c
GM
929
930@node Search Case
931@section Searching and Case
932
b5fb9df5
CY
933 Searches in Emacs normally ignore the case of the text they are
934searching through, if you specify the text in lower case. Thus, if
935you specify searching for @samp{foo}, then @samp{Foo} and @samp{foo}
936are also considered a match. Regexps, and in particular character
937sets, are included: @samp{[ab]} would match @samp{a} or @samp{A} or
938@samp{b} or @samp{B}.@refill
8cf51b2c
GM
939
940 An upper-case letter anywhere in the incremental search string makes
941the search case-sensitive. Thus, searching for @samp{Foo} does not find
942@samp{foo} or @samp{FOO}. This applies to regular expression search as
943well as to string search. The effect ceases if you delete the
944upper-case letter from the search string.
945
946 Typing @kbd{M-c} within an incremental search toggles the case
947sensitivity of that search. The effect does not extend beyond the
948current incremental search to the next one, but it does override the
b5fb9df5
CY
949effect of adding or removing an upper-case letter in the current
950search.
8cf51b2c
GM
951
952@vindex case-fold-search
8cf51b2c
GM
953 If you set the variable @code{case-fold-search} to @code{nil}, then
954all letters must match exactly, including case. This is a per-buffer
4e3b4528
SM
955variable; altering the variable normally affects only the current buffer,
956unless you change its default value. @xref{Locals}.
957This variable applies to nonincremental searches also, including those
958performed by the replace commands (@pxref{Replace}) and the minibuffer
959history matching commands (@pxref{Minibuffer History}).
8cf51b2c
GM
960
961 Several related variables control case-sensitivity of searching and
962matching for specific commands or activities. For instance,
963@code{tags-case-fold-search} controls case sensitivity for
964@code{find-tag}. To find these variables, do @kbd{M-x
965apropos-variable @key{RET} case-fold-search @key{RET}}.
966
967@node Replace
968@section Replacement Commands
969@cindex replacement
970@cindex search-and-replace commands
971@cindex string substitution
972@cindex global substitution
973
b5fb9df5
CY
974 Emacs provides several commands for performing search-and-replace
975operations. In addition to the simple @kbd{M-x replace-string}
976command, there is @kbd{M-%} (@code{query-replace}), which presents
977each occurrence of the pattern and asks you whether to replace it.
8cf51b2c
GM
978
979 The replace commands normally operate on the text from point to the
6184c708
CY
980end of the buffer. When the mark is active, they operate on the
981region instead (@pxref{Mark}). The basic replace commands replace one
b5fb9df5
CY
982@dfn{search string} (or regexp) with one @dfn{replacement string}. It
983is possible to perform several replacements in parallel, using the
984command @code{expand-region-abbrevs} (@pxref{Expanding Abbrevs}).
8cf51b2c
GM
985
986@menu
8838673e
GM
987* Unconditional Replace:: Replacing all matches for a string.
988* Regexp Replace:: Replacing all matches for a regexp.
989* Replacement and Case:: How replacements preserve case of letters.
990* Query Replace:: How to use querying.
8cf51b2c
GM
991@end menu
992
993@node Unconditional Replace, Regexp Replace, Replace, Replace
994@subsection Unconditional Replacement
995@findex replace-string
996
997@table @kbd
998@item M-x replace-string @key{RET} @var{string} @key{RET} @var{newstring} @key{RET}
999Replace every occurrence of @var{string} with @var{newstring}.
1000@end table
1001
1002 To replace every instance of @samp{foo} after point with @samp{bar},
1003use the command @kbd{M-x replace-string} with the two arguments
1004@samp{foo} and @samp{bar}. Replacement happens only in the text after
1005point, so if you want to cover the whole buffer you must go to the
1006beginning first. All occurrences up to the end of the buffer are
b5fb9df5
CY
1007replaced; to limit replacement to part of the buffer, activate the
1008region around that part. When the region is active, replacement is
1009limited to the region (@pxref{Mark}).
8cf51b2c
GM
1010
1011 When @code{replace-string} exits, it leaves point at the last
6184c708
CY
1012occurrence replaced. It adds the prior position of point (where the
1013@code{replace-string} command was issued) to the mark ring, without
1014activating the mark; use @kbd{C-u C-@key{SPC}} to move back there.
1015@xref{Mark Ring}.
8cf51b2c 1016
b5fb9df5
CY
1017 A prefix argument restricts replacement to matches that are
1018surrounded by word boundaries. The argument's value doesn't matter.
8cf51b2c
GM
1019
1020 @xref{Replacement and Case}, for details about case-sensitivity in
1021replace commands.
1022
8cf51b2c
GM
1023@node Regexp Replace, Replacement and Case, Unconditional Replace, Replace
1024@subsection Regexp Replacement
1025@findex replace-regexp
1026
1027 The @kbd{M-x replace-string} command replaces exact matches for a
1028single string. The similar command @kbd{M-x replace-regexp} replaces
1029any match for a specified pattern.
1030
1031@table @kbd
1032@item M-x replace-regexp @key{RET} @var{regexp} @key{RET} @var{newstring} @key{RET}
1033Replace every match for @var{regexp} with @var{newstring}.
1034@end table
1035
1036@cindex back reference, in regexp replacement
1037 In @code{replace-regexp}, the @var{newstring} need not be constant:
1038it can refer to all or part of what is matched by the @var{regexp}.
1039@samp{\&} in @var{newstring} stands for the entire match being
1040replaced. @samp{\@var{d}} in @var{newstring}, where @var{d} is a
1041digit, stands for whatever matched the @var{d}th parenthesized
1042grouping in @var{regexp}. (This is called a ``back reference.'')
1043@samp{\#} refers to the count of replacements already made in this
1044command, as a decimal number. In the first replacement, @samp{\#}
1045stands for @samp{0}; in the second, for @samp{1}; and so on. For
1046example,
1047
1048@example
1049M-x replace-regexp @key{RET} c[ad]+r @key{RET} \&-safe @key{RET}
1050@end example
1051
1052@noindent
1053replaces (for example) @samp{cadr} with @samp{cadr-safe} and @samp{cddr}
1054with @samp{cddr-safe}.
1055
1056@example
1057M-x replace-regexp @key{RET} \(c[ad]+r\)-safe @key{RET} \1 @key{RET}
1058@end example
1059
1060@noindent
1061performs the inverse transformation. To include a @samp{\} in the
1062text to replace with, you must enter @samp{\\}.
1063
1064 If you want to enter part of the replacement string by hand each
1065time, use @samp{\?} in the replacement string. Each replacement will
1066ask you to edit the replacement string in the minibuffer, putting
1067point where the @samp{\?} was.
1068
1069 The remainder of this subsection is intended for specialized tasks
1070and requires knowledge of Lisp. Most readers can skip it.
1071
1072 You can use Lisp expressions to calculate parts of the
1073replacement string. To do this, write @samp{\,} followed by the
1074expression in the replacement string. Each replacement calculates the
1075value of the expression and converts it to text without quoting (if
1076it's a string, this means using the string's contents), and uses it in
1077the replacement string in place of the expression itself. If the
1078expression is a symbol, one space in the replacement string after the
1079symbol name goes with the symbol name, so the value replaces them
1080both.
1081
1082 Inside such an expression, you can use some special sequences.
1083@samp{\&} and @samp{\@var{n}} refer here, as usual, to the entire
1084match as a string, and to a submatch as a string. @var{n} may be
1085multiple digits, and the value of @samp{\@var{n}} is @code{nil} if
1086subexpression @var{n} did not match. You can also use @samp{\#&} and
1087@samp{\#@var{n}} to refer to those matches as numbers (this is valid
1088when the match or submatch has the form of a numeral). @samp{\#} here
1089too stands for the number of already-completed replacements.
1090
1091 Repeating our example to exchange @samp{x} and @samp{y}, we can thus
1092do it also this way:
1093
1094@example
1095M-x replace-regexp @key{RET} \(x\)\|y @key{RET}
1096\,(if \1 "y" "x") @key{RET}
1097@end example
1098
1099 For computing replacement strings for @samp{\,}, the @code{format}
1100function is often useful (@pxref{Formatting Strings,,, elisp, The Emacs
1101Lisp Reference Manual}). For example, to add consecutively numbered
1102strings like @samp{ABC00042} to columns 73 @w{to 80} (unless they are
1103already occupied), you can use
1104
1105@example
1106M-x replace-regexp @key{RET} ^.\@{0,72\@}$ @key{RET}
1107\,(format "%-72sABC%05d" \& \#) @key{RET}
1108@end example
1109
1110@node Replacement and Case, Query Replace, Regexp Replace, Replace
1111@subsection Replace Commands and Case
1112
1113 If the first argument of a replace command is all lower case, the
1114command ignores case while searching for occurrences to
1115replace---provided @code{case-fold-search} is non-@code{nil}. If
1116@code{case-fold-search} is set to @code{nil}, case is always significant
1117in all searches.
1118
1119@vindex case-replace
1120 In addition, when the @var{newstring} argument is all or partly lower
1121case, replacement commands try to preserve the case pattern of each
1122occurrence. Thus, the command
1123
1124@example
1125M-x replace-string @key{RET} foo @key{RET} bar @key{RET}
1126@end example
1127
1128@noindent
1129replaces a lower case @samp{foo} with a lower case @samp{bar}, an
1130all-caps @samp{FOO} with @samp{BAR}, and a capitalized @samp{Foo} with
1131@samp{Bar}. (These three alternatives---lower case, all caps, and
1132capitalized, are the only ones that @code{replace-string} can
1133distinguish.)
1134
1135 If upper-case letters are used in the replacement string, they remain
1136upper case every time that text is inserted. If upper-case letters are
1137used in the first argument, the second argument is always substituted
1138exactly as given, with no case conversion. Likewise, if either
1139@code{case-replace} or @code{case-fold-search} is set to @code{nil},
1140replacement is done without case conversion.
1141
1142@node Query Replace,, Replacement and Case, Replace
1143@subsection Query Replace
1144@cindex query replace
1145
1146@table @kbd
1147@item M-% @var{string} @key{RET} @var{newstring} @key{RET}
1148@itemx M-x query-replace @key{RET} @var{string} @key{RET} @var{newstring} @key{RET}
1149Replace some occurrences of @var{string} with @var{newstring}.
1150@item C-M-% @var{regexp} @key{RET} @var{newstring} @key{RET}
1151@itemx M-x query-replace-regexp @key{RET} @var{regexp} @key{RET} @var{newstring} @key{RET}
1152Replace some matches for @var{regexp} with @var{newstring}.
1153@end table
1154
1155@kindex M-%
1156@findex query-replace
1157 If you want to change only some of the occurrences of @samp{foo} to
abfd0191 1158@samp{bar}, not all of them, use @kbd{M-%} (@code{query-replace}).
8cf51b2c
GM
1159This command finds occurrences of @samp{foo} one by one, displays each
1160occurrence and asks you whether to replace it. Aside from querying,
abfd0191
RS
1161@code{query-replace} works just like @code{replace-string}
1162(@pxref{Unconditional Replace}). In particular, it preserves case
1163provided @code{case-replace} is non-@code{nil}, as it normally is
8cf51b2c
GM
1164(@pxref{Replacement and Case}). A numeric argument means consider
1165only occurrences that are bounded by word-delimiter characters.
1166
1167@kindex C-M-%
1168@findex query-replace-regexp
1169 @kbd{C-M-%} performs regexp search and replace (@code{query-replace-regexp}).
1170It works like @code{replace-regexp} except that it queries
1171like @code{query-replace}.
1172
1173@cindex faces for highlighting query replace
1174 These commands highlight the current match using the face
1175@code{query-replace}. They highlight other matches using
1176@code{lazy-highlight} just like incremental search (@pxref{Incremental
21d50ba1
JL
1177Search}). By default, @code{query-replace-regexp} will show
1178substituted replacement string for the current match in the
1179minibuffer. If you want to keep special sequences @samp{\&} and
1180@samp{\@var{n}} unexpanded, customize
1181@code{query-replace-show-replacement} variable.
8cf51b2c
GM
1182
1183 The characters you can type when you are shown a match for the string
1184or regexp are:
1185
1186@ignore @c Not worth it.
1187@kindex SPC @r{(query-replace)}
1188@kindex DEL @r{(query-replace)}
1189@kindex , @r{(query-replace)}
1190@kindex RET @r{(query-replace)}
1191@kindex . @r{(query-replace)}
1192@kindex ! @r{(query-replace)}
1193@kindex ^ @r{(query-replace)}
1194@kindex C-r @r{(query-replace)}
1195@kindex C-w @r{(query-replace)}
1196@kindex C-l @r{(query-replace)}
1197@end ignore
1198
1199@c WideCommands
1200@table @kbd
1201@item @key{SPC}
1202to replace the occurrence with @var{newstring}.
1203
1204@item @key{DEL}
1205to skip to the next occurrence without replacing this one.
1206
1207@item , @r{(Comma)}
1208to replace this occurrence and display the result. You are then asked
1209for another input character to say what to do next. Since the
1210replacement has already been made, @key{DEL} and @key{SPC} are
1211equivalent in this situation; both move to the next occurrence.
1212
1213You can type @kbd{C-r} at this point (see below) to alter the replaced
1214text. You can also type @kbd{C-x u} to undo the replacement; this exits
1215the @code{query-replace}, so if you want to do further replacement you
1216must use @kbd{C-x @key{ESC} @key{ESC} @key{RET}} to restart
1217(@pxref{Repetition}).
1218
1219@item @key{RET}
1220to exit without doing any more replacements.
1221
1222@item .@: @r{(Period)}
1223to replace this occurrence and then exit without searching for more
1224occurrences.
1225
1226@item !
1227to replace all remaining occurrences without asking again.
1228
1229@item ^
1230to go back to the position of the previous occurrence (or what used to
1231be an occurrence), in case you changed it by mistake or want to
1232reexamine it.
1233
1234@item C-r
1235to enter a recursive editing level, in case the occurrence needs to be
1236edited rather than just replaced with @var{newstring}. When you are
1237done, exit the recursive editing level with @kbd{C-M-c} to proceed to
1238the next occurrence. @xref{Recursive Edit}.
1239
1240@item C-w
1241to delete the occurrence, and then enter a recursive editing level as in
1242@kbd{C-r}. Use the recursive edit to insert text to replace the deleted
1243occurrence of @var{string}. When done, exit the recursive editing level
1244with @kbd{C-M-c} to proceed to the next occurrence.
1245
1246@item e
1247to edit the replacement string in the minibuffer. When you exit the
1248minibuffer by typing @key{RET}, the minibuffer contents replace the
1249current occurrence of the pattern. They also become the new
1250replacement string for any further occurrences.
1251
1252@item C-l
1253to redisplay the screen. Then you must type another character to
1254specify what to do with this occurrence.
1255
1256@item C-h
1257to display a message summarizing these options. Then you must type
1258another character to specify what to do with this occurrence.
1259@end table
1260
1261 Some other characters are aliases for the ones listed above: @kbd{y},
1262@kbd{n} and @kbd{q} are equivalent to @key{SPC}, @key{DEL} and
1263@key{RET}.
1264
1265 Aside from this, any other character exits the @code{query-replace},
1266and is then reread as part of a key sequence. Thus, if you type
1267@kbd{C-k}, it exits the @code{query-replace} and then kills to end of
1268line.
1269
1270 To restart a @code{query-replace} once it is exited, use @kbd{C-x
1271@key{ESC} @key{ESC}}, which repeats the @code{query-replace} because it
1272used the minibuffer to read its arguments. @xref{Repetition, C-x ESC
1273ESC}.
1274
1275 @xref{Operating on Files}, for the Dired @kbd{Q} command which
1276performs query replace on selected files. See also @ref{Transforming
1277File Names}, for Dired commands to rename, copy, or link files by
1278replacing regexp matches in file names.
1279
1280@node Other Repeating Search
1281@section Other Search-and-Loop Commands
1282
1283 Here are some other commands that find matches for a regular
1284expression. They all ignore case in matching, if the pattern contains
1285no upper-case letters and @code{case-fold-search} is non-@code{nil}.
1286Aside from @code{occur} and its variants, all operate on the text from
6184c708 1287point to the end of the buffer, or on the region if it is active.
8cf51b2c
GM
1288
1289@findex list-matching-lines
1290@findex occur
1291@findex multi-occur
1292@findex multi-occur-in-matching-buffers
1293@findex how-many
8cf51b2c
GM
1294@findex flush-lines
1295@findex keep-lines
1296
1297@table @kbd
15cf2f52
CY
1298@item M-x multi-isearch-buffers
1299Prompt for one or more buffer names, ending with @key{RET}; then,
1300begin a multi-buffer incremental search in those buffers. (If the
1301search fails in one buffer, the next @kbd{C-s} tries searching the
1302next specified buffer, and so forth.) With a prefix argument, prompt
1303for a regexp and begin a multi-buffer incremental search in buffers
1304matching that regexp.
1305
1306@item M-x multi-isearch-buffers-regexp
1307This command is just like @code{multi-isearch-buffers}, except it
1308performs an incremental regexp search.
1309
1310@item M-x occur
1311Prompt for a regexp, and display a list showing each line in the
1312buffer that contains a match for it. To limit the search to part of
1313the buffer, narrow to that part (@pxref{Narrowing}). A numeric
1314argument @var{n} specifies that @var{n} lines of context are to be
1315displayed before and after each matching line. Currently,
1316@code{occur} can not correctly handle multiline matches.
8cf51b2c
GM
1317
1318@kindex RET @r{(Occur mode)}
1319@kindex o @r{(Occur mode)}
1320@kindex C-o @r{(Occur mode)}
1321The buffer @samp{*Occur*} containing the output serves as a menu for
1322finding the occurrences in their original context. Click
1323@kbd{Mouse-2} on an occurrence listed in @samp{*Occur*}, or position
1324point there and type @key{RET}; this switches to the buffer that was
1325searched and moves point to the original of the chosen occurrence.
1326@kbd{o} and @kbd{C-o} display the match in another window; @kbd{C-o}
1327does not select it.
1328
1329After using @kbd{M-x occur}, you can use @code{next-error} to visit
1330the occurrences found, one by one. @ref{Compilation Mode}.
1331
b5fb9df5
CY
1332@kindex M-s o
1333@item M-s o
1334Run @code{occur} using the search string of the last incremental
97b3a00b 1335string search. You can also run @kbd{M-s o} when an incremental
b5fb9df5
CY
1336search is active; this uses the current search string.
1337
8cf51b2c
GM
1338@item M-x list-matching-lines
1339Synonym for @kbd{M-x occur}.
1340
15cf2f52
CY
1341@item M-x multi-occur
1342This command is just like @code{occur}, except it is able to search
1343through multiple buffers. It asks you to specify the buffer names one
1344by one.
1345
1346@item M-x multi-occur-in-matching-buffers
1347This command is similar to @code{multi-occur}, except the buffers to
1348search are specified by a regular expression that matches visited file
1349names. With a prefix argument, it uses the regular expression to
1350match buffer names instead.
1351
1352@item M-x how-many
1353Prompt for a regexp, and print the number of matches for it in the
1354buffer after point. If the region is active, this operates on the
1355region instead.
1356
1357@item M-x flush-lines
1358Prompt for a regexp, and delete each line that contains a match for
1359it, operating on the text after point. This command deletes the
1360current line if it contains a match starting after point. If the
1361region is active, it operates on the region instead; if a line
1362partially contained in the region contains a match entirely contained
1363in the region, it is deleted.
8cf51b2c
GM
1364
1365If a match is split across lines, @code{flush-lines} deletes all those
1366lines. It deletes the lines before starting to look for the next
1367match; hence, it ignores a match starting on the same line at which
1368another match ended.
1369
15cf2f52
CY
1370@item M-x keep-lines
1371Prompt for a regexp, and delete each line that @emph{does not} contain
1372a match for it, operating on the text after point. If point is not at
1373the beginning of a line, this command always keeps the current line.
1374If the region is active, the command operates on the region instead;
1375it never deletes lines that are only partially contained in the region
1376(a newline that ends a line counts as part of that line).
8cf51b2c
GM
1377
1378If a match is split across lines, this command keeps all those lines.
1379@end table
1380
1381@ignore
1382 arch-tag: fd9d8e77-66af-491c-b212-d80999613e3e
1383@end ignore