source: trunk/third/diffutils/diff.texi @ 16149

\input texinfo @c -*-texinfo-*-
@c %**start of header
@setfilename diff.info
@settitle Comparing and Merging Files
@setchapternewpage odd
@c %**end of header

@ifinfo
This file documents the the GNU @code{diff}, @code{diff3}, @code{sdiff},
and @code{cmp} commands for showing the differences between text files
and the @code{patch} command for using their output to update files.

Copyright (C) 1992, 1993, 1994 Free Software Foundation, Inc.

Permission is granted to make and distribute verbatim copies of
this manual provided the copyright notice and this permission notice
are preserved on all copies.

@ignore
Permission is granted to process this file through TeX and print the
results, provided the printed document carries copying permission
notice identical to this one except for the removal of this paragraph
(this paragraph not being relevant to the printed manual).

@end ignore
Permission is granted to copy and distribute modified versions of this
manual under the conditions for verbatim copying, provided that the entire
resulting derived work is distributed under the terms of a permission
notice identical to this one.

Permission is granted to copy and distribute translations of this manual
into another language, under the above conditions for modified versions,
except that this permission notice may be stated in a translation approved
by the Foundation.
@end ifinfo

@titlepage
@title Comparing and Merging Files
@subtitle @code{diff}, @code{diff3}, @code{sdiff}, @code{cmp}, and @code{patch}
@subtitle Edition 1.3, for @code{diff} 2.5 and @code{patch} 2.1
@subtitle September 1993
@author by David MacKenzie, Paul Eggert, and Richard Stallman

@page
@vskip 0pt plus 1filll
Copyright @copyright{} 1992, 1993, 1994 Free Software Foundation, Inc.

Permission is granted to make and distribute verbatim copies of
this manual provided the copyright notice and this permission notice
are preserved on all copies.

Permission is granted to copy and distribute modified versions of this
manual under the conditions for verbatim copying, provided that the entire
resulting derived work is distributed under the terms of a permission
notice identical to this one.

Permission is granted to copy and distribute translations of this manual
into another language, under the above conditions for modified versions,
except that this permission notice may be stated in a translation approved
by the Foundation.
@end titlepage

@node Top, , , (dir)

@ifinfo
This file documents the the GNU @code{diff}, @code{diff3}, @code{sdiff},
and @code{cmp} commands for showing the differences between text files
and the @code{patch} command for using their output to update files.

This is Edition 1.2, for @code{diff} 2.4 and @code{patch} 2.1.
@end ifinfo

@menu
* Overview::            Preliminary information.

* Comparison::          What file comparison means.
* Output Formats::      Formats for difference reports.
* Comparing Directories::       Comparing files and directories.
* Adjusting Output::    Making @code{diff} output prettier.
* diff Performance::    Making @code{diff} smarter or faster.
* Comparing Three Files:: Formats for three-way difference reports.

* diff3 Merging::       Merging from a common ancestor.
* Interactive Merging:: Interactive merging with @code{sdiff}.
* Merging with patch::  Using @code{patch} to change old files into new ones.
* Making Patches::      Tips for making patch distributions.

* Invoking cmp::        How to run @code{cmp} and a summary of its options.
* Invoking diff::       How to run @code{diff} and a summary of its options.
* Invoking diff3::      How to run @code{diff3} and a summary of its options.
* Invoking patch::      How to run @code{patch} and a summary of its options.
* Invoking sdiff::      How to run @code{sdiff} and a summary of its options.

* Incomplete Lines::    Lines that lack trailing newlines.
* Projects::            If you think you've found a bug or other shortcoming.

* Concept Index::       Index of concepts.
@end menu

@node Overview, Comparison, , Top
@unnumbered Overview
@cindex overview of @code{diff} and @code{patch}

Computer users often find occasion to ask how two files differ.  Perhaps
one file is a newer version of the other file.  Or maybe the two files
started out as identical copies but were changed by different people.

You can use the @code{diff} command to show differences between two
files, or each corresponding file in two directories.  @code{diff}
outputs differences between files line by line in any of several
formats, selectable by command line options.  This set of differences is
often called a @dfn{diff} or @dfn{patch}.  For files that are identical,
@code{diff} normally produces no output; for binary (non-text) files,
@code{diff} normally reports only that they are different.

You can use the @code{cmp} command to show the offsets and line numbers
where two files differ.  @code{cmp} can also show all the characters
that differ between the two files, side by side.  Another way to compare
two files character by character is the Emacs command @kbd{M-x
compare-windows}.  @xref{Other Window, , Other Window, emacs, The GNU
Emacs Manual}, for more information on that command.

You can use the @code{diff3} command to show differences among three
files.  When two people have made independent changes to a common
original, @code{diff3} can report the differences between the original
and the two changed versions, and can produce a merged file that
contains both persons' changes together with warnings about conflicts.

You can use the @code{sdiff} command to merge two files interactively.

You can use the set of differences produced by @code{diff} to distribute
updates to text files (such as program source code) to other people.
This method is especially useful when the differences are small compared
to the complete files.  Given @code{diff} output, you can use the
@code{patch} program to update, or @dfn{patch}, a copy of the file.  If you
think of @code{diff} as subtracting one file from another to produce
their difference, you can think of @code{patch} as adding the difference
to one file to reproduce the other.

This manual first concentrates on making diffs, and later shows how to
use diffs to update files.

GNU @code{diff} was written by Mike Haertel, David Hayes, Richard
Stallman, Len Tower, and Paul Eggert.  Wayne Davison designed and
implemented the unified output format.  The basic algorithm is described
in ``An O(ND) Difference Algorithm and its Variations'', Eugene W. Myers,
@cite{Algorithmica} Vol.@: 1 No.@: 2, 1986, pp.@: 251--266; and in ``A File
Comparison Program'', Webb Miller and Eugene W. Myers,
@cite{Software---Practice and Experience} Vol.@: 15 No.@: 11, 1985,
pp.@: 1025--1040.
@c From: "Gene Myers" <gene@cs.arizona.edu>
@c They are about the same basic algorithm; the Algorithmica
@c paper gives a rigorous treatment and the sub-algorithm for
@c delivering scripts and should be the primary reference, but
@c both should be mentioned.
The algorithm was independently discovered as described in
``Algorithms for Approximate String Matching'',
E. Ukkonen, @cite{Information and Control} Vol.@: 64, 1985, pp.@: 100--118.
@c From: "Gene Myers" <gene@cs.arizona.edu>
@c Date: Wed, 29 Sep 1993 08:27:55 MST
@c Ukkonen should be given credit for also discovering the algorithm used
@c in GNU diff.

GNU @code{diff3} was written by Randy Smith.  GNU @code{sdiff} was
written by Thomas Lord.  GNU @code{cmp} was written by Torbjorn Granlund
and David MacKenzie.

@code{patch} was written mainly by Larry Wall; the GNU enhancements were
written mainly by Wayne Davison and David MacKenzie.  Parts of this
manual are adapted from a manual page written by Larry Wall, with his
permission.

@node Comparison, Output Formats, Overview, Top
@chapter What Comparison Means
@cindex introduction

There are several ways to think about the differences between two files.
One way to think of the differences is as a series of lines that were
deleted from, inserted in, or changed in one file to produce the other
file.  @code{diff} compares two files line by line, finds groups of
lines that differ, and reports each group of differing lines.  It can
report the differing lines in several formats, which have different
purposes.

GNU @code{diff} can show whether files are different without detailing
the differences.  It also provides ways to suppress certain kinds of
differences that are not important to you.  Most commonly, such
differences are changes in the amount of white space between words or
lines.  @code{diff} also provides ways to suppress differences in
alphabetic case or in lines that match a regular expression that you
provide.  These options can accumulate; for example, you can ignore
changes in both white space and alphabetic case.

Another way to think of the differences between two files is as a
sequence of pairs of characters that can be either identical or
different.  @code{cmp} reports the differences between two files
character by character, instead of line by line.  As a result, it is
more useful than @code{diff} for comparing binary files.  For text
files, @code{cmp} is useful mainly when you want to know only whether
two files are identical.

To illustrate the effect that considering changes character by character
can have compared with considering them line by line, think of what
happens if a single newline character is added to the beginning of a
file.  If that file is then compared with an otherwise identical file
that lacks the newline at the beginning, @code{diff} will report that a
blank line has been added to the file, while @code{cmp} will report that
almost every character of the two files differs.

@code{diff3} normally compares three input files line by line, finds
groups of lines that differ, and reports each group of differing lines.
Its output is designed to make it easy to inspect two different sets of
changes to the same file.

@menu
* Hunks::               Groups of differing lines.
* White Space::         Suppressing differences in white space.
* Blank Lines::         Suppressing differences in blank lines.
* Case Folding::        Suppressing differences in alphabetic case.
* Specified Folding::   Suppressing differences that match regular expressions.
* Brief::               Summarizing which files are different.
* Binary::              Comparing binary files or forcing text comparisons.
@end menu

@node Hunks, White Space, , Comparison
@section Hunks
@cindex hunks

When comparing two files, @code{diff} finds sequences of lines common to
both files, interspersed with groups of differing lines called
@dfn{hunks}.  Comparing two identical files yields one sequence of
common lines and no hunks, because no lines differ.  Comparing two
entirely different files yields no common lines and one large hunk that
contains all lines of both files.  In general, there are many ways to
match up lines between two given files.  @code{diff} tries to minimize
the total hunk size by finding large sequences of common lines
interspersed with small hunks of differing lines.

For example, suppose the file @file{F} contains the three lines
@samp{a}, @samp{b}, @samp{c}, and the file @file{G} contains the same
three lines in reverse order @samp{c}, @samp{b}, @samp{a}.  If
@code{diff} finds the line @samp{c} as common, then the command
@samp{diff F G} produces this output:

@example
1,2d0
< a
< b
3a2,3
> b
> a
@end example

@noindent
But if @code{diff} notices the common line @samp{b} instead, it produces
this output:

@example
1c1
< a
---
> c
3c3
< c
---
> a
@end example

@noindent
It is also possible to find @samp{a} as the common line.  @code{diff}
does not always find an optimal matching between the files; it takes
shortcuts to run faster.  But its output is usually close to the
shortest possible.  You can adjust this tradeoff with the
@samp{--minimal} option (@pxref{diff Performance}).

@node White Space, Blank Lines, Hunks, Comparison
@section Suppressing Differences in Blank and Tab Spacing
@cindex blank and tab difference suppression
@cindex tab and blank difference suppression

The @samp{-b} and @samp{--ignore-space-change} options ignore white space
at line end, and considers all other sequences of one or more
white space characters to be equivalent.  With these options,
@code{diff} considers the following two lines to be equivalent, where
@samp{$} denotes the line end:

@example
Here lyeth  muche rychnesse  in lytell space.   -- John Heywood$
Here lyeth muche rychnesse in lytell space. -- John Heywood   $
@end example

The @samp{-w} and @samp{--ignore-all-space} options are stronger than
@samp{-b}.  They ignore difference even if one file has white space where
the other file has none.  @dfn{White space} characters include
tab, newline, vertical tab, form feed, carriage return, and space;
some locales may define additional characters to be white space.
With these options, @code{diff} considers the
following two lines to be equivalent, where @samp{$} denotes the line
end and @samp{^M} denotes a carriage return:

@example
Here lyeth  muche  rychnesse in lytell space.--  John Heywood$
  He relyeth much erychnes  seinly tells pace.  --John Heywood   ^M$
@end example

@node Blank Lines, Case Folding, White Space, Comparison
@section Suppressing Differences in Blank Lines
@cindex blank line difference suppression

The @samp{-B} and @samp{--ignore-blank-lines} options ignore insertions
or deletions of blank lines.  These options normally affect only lines
that are completely empty; they do not affect lines that look empty but
contain space or tab characters.  With these options, for example, a
file containing
@example
1.  A point is that which has no part.

2.  A line is breadthless length.
-- Euclid, The Elements, I
@end example
@noindent
is considered identical to a file containing
@example
1.  A point is that which has no part.
2.  A line is breadthless length.


-- Euclid, The Elements, I
@end example

@node Case Folding, Specified Folding, Blank Lines, Comparison
@section Suppressing Case Differences
@cindex case difference suppression

GNU @code{diff} can treat lowercase letters as equivalent to their
uppercase counterparts, so that, for example, it considers @samp{Funky
Stuff}, @samp{funky STUFF}, and @samp{fUNKy stuFf} to all be the same.
To request this, use the @samp{-i} or @samp{--ignore-case} option.

@node Specified Folding, Brief, Case Folding, Comparison
@section Suppressing Lines Matching a Regular Expression
@cindex regular expression suppression

To ignore insertions and deletions of lines that match a regular
expression, use the @samp{-I @var{regexp}} or
@samp{--ignore-matching-lines=@var{regexp}} option.  You should escape
regular expressions that contain shell metacharacters to prevent the
shell from expanding them.  For example, @samp{diff -I '^[0-9]'} ignores
all changes to lines beginning with a digit.

However, @samp{-I} only ignores the insertion or deletion of lines that
contain the regular expression if every changed line in the hunk---every
insertion and every deletion---matches the regular expression.  In other
words, for each nonignorable change, @code{diff} prints the complete set
of changes in its vicinity, including the ignorable ones.

You can specify more than one regular expression for lines to ignore by
using more than one @samp{-I} option.  @code{diff} tries to match each
line against each regular expression, starting with the last one given.

@node Brief, Binary, Specified Folding, Comparison
@section Summarizing Which Files Differ
@cindex summarizing which files differ
@cindex brief difference reports

When you only want to find out whether files are different, and you
don't care what the differences are, you can use the summary output
format.  In this format, instead of showing the differences between the
files, @code{diff} simply reports whether files differ.  The @samp{-q}
and @samp{--brief} options select this output format.

This format is especially useful when comparing the contents of two
directories.  It is also much faster than doing the normal line by line
comparisons, because @code{diff} can stop analyzing the files as soon as
it knows that there are any differences.

You can also get a brief indication of whether two files differ by using
@code{cmp}.  For files that are identical, @code{cmp} produces no
output.  When the files differ, by default, @code{cmp} outputs the byte
offset and line number where the first difference occurs.  You can use
the @samp{-s} option to suppress that information, so that @code{cmp}
produces no output and reports whether the files differ using only its
exit status (@pxref{Invoking cmp}).

@c Fix this.
Unlike @code{diff}, @code{cmp} cannot compare directories; it can only
compare two files.

@node Binary, , Brief, Comparison
@section Binary Files and Forcing Text Comparisons
@cindex binary file diff
@cindex text versus binary diff

If @code{diff} thinks that either of the two files it is comparing is
binary (a non-text file), it normally treats that pair of files much as
if the summary output format had been selected (@pxref{Brief}), and
reports only that the binary files are different.  This is because line
by line comparisons are usually not meaningful for binary files.

@code{diff} determines whether a file is text or binary by checking the
first few bytes in the file; the exact number of bytes is system
dependent, but it is typically several thousand.  If every character in
that part of the file is non-null, @code{diff} considers the file to be
text; otherwise it considers the file to be binary.

Sometimes you might want to force @code{diff} to consider files to be
text.  For example, you might be comparing text files that contain
null characters; @code{diff} would erroneously decide that those are
non-text files.  Or you might be comparing documents that are in a
format used by a word processing system that uses null characters to
indicate special formatting.  You can force @code{diff} to consider all
files to be text files, and compare them line by line, by using the
@samp{-a} or @samp{--text} option.  If the files you compare using this
option do not in fact contain text, they will probably contain few
newline characters, and the @code{diff} output will consist of hunks
showing differences between long lines of whatever characters the files
contain.

You can also force @code{diff} to consider all files to be binary files,
and report only whether they differ (but not how).  Use the
@samp{--brief} option for this.

In operating systems that distinguish between text and binary files,
@code{diff} normally reads and writes all data as text.  Use the
@samp{--binary} option to force @code{diff} to read and write binary
data instead.  This option has no effect on a Posix-compliant system
like GNU or traditional Unix.  However, many personal computer
operating systems represent the end of a line with a carriage return
followed by a newline.  On such systems, @code{diff} normally ignores
these carriage returns on input and generates them at the end of each
output line, but with the @samp{--binary} option @code{diff} treats
each carriage return as just another input character, and does not
generate a carriage return at the end of each output line.  This can be
useful when dealing with non-text files that are meant to be
interchanged with Posix-compliant systems.

If you want to compare two files byte by byte, you can use the
@code{cmp} program with the @samp{-l} option to show the values of each
differing byte in the two files.  With GNU @code{cmp}, you can also use
the @samp{-c} option to show the ASCII representation of those bytes.
@xref{Invoking cmp}, for more information.

If @code{diff3} thinks that any of the files it is comparing is binary
(a non-text file), it normally reports an error, because such
comparisons are usually not useful.  @code{diff3} uses the same test as
@code{diff} to decide whether a file is binary.  As with @code{diff}, if
the input files contain a few non-text characters but otherwise are like
text files, you can force @code{diff3} to consider all files to be text
files and compare them line by line by using the @samp{-a} or
@samp{--text} options.

@node Output Formats, Comparing Directories, Comparison, Top
@chapter @code{diff} Output Formats
@cindex output formats
@cindex format of @code{diff} output

@code{diff} has several mutually exclusive options for output format.
The following sections describe each format, illustrating how
@code{diff} reports the differences between two sample input files.

@menu
* Sample diff Input::   Sample @code{diff} input files for examples.
* Normal::              Showing differences without surrounding text.
* Context::             Showing differences with the surrounding text.
* Side by Side::        Showing differences in two columns.
* Scripts::             Generating scripts for other programs.
* If-then-else::        Merging files with if-then-else.
@end menu

@node Sample diff Input, Normal, , Output Formats
@section Two Sample Input Files
@cindex @code{diff} sample input
@cindex sample input for @code{diff}

Here are two sample files that we will use in numerous examples to
illustrate the output of @code{diff} and how various options can change
it.

This is the file @file{lao}:

@example
The Way that can be told of is not the eternal Way;
The name that can be named is not the eternal name.
The Nameless is the origin of Heaven and Earth;
The Named is the mother of all things.
Therefore let there always be non-being,
  so we may see their subtlety,
And let there always be being,
  so we may see their outcome.
The two are the same,
But after they are produced,
  they have different names.
@end example

This is the file @file{tzu}:

@example
The Nameless is the origin of Heaven and Earth;
The named is the mother of all things.

Therefore let there always be non-being,
  so we may see their subtlety,
And let there always be being,
  so we may see their outcome.
The two are the same,
But after they are produced,
  they have different names.
They both may be called deep and profound.
Deeper and more profound,
The door of all subtleties!
@end example

In this example, the first hunk contains just the first two lines of
@file{lao}, the second hunk contains the fourth line of @file{lao}
opposing the second and third lines of @file{tzu}, and the last hunk
contains just the last three lines of @file{tzu}.

@node Normal, Context, Sample diff Input, Output Formats
@section Showing Differences Without Context
@cindex normal output format
@cindex @samp{<} output format

The ``normal'' @code{diff} output format shows each hunk of differences
without any surrounding context.  Sometimes such output is the clearest
way to see how lines have changed, without the clutter of nearby
unchanged lines (although you can get similar results with the context
or unified formats by using 0 lines of context).  However, this format
is no longer widely used for sending out patches; for that purpose, the
context format (@pxref{Context Format}) and the unified format
(@pxref{Unified Format}) are superior.  Normal format is the default for
compatibility with older versions of @code{diff} and the Posix standard.

@menu
* Detailed Normal::     A detailed description of normal output format.
* Example Normal::      Sample output in the normal format.
@end menu

@node Detailed Normal, Example Normal, , Normal
@subsection Detailed Description of Normal Format

The normal output format consists of one or more hunks of differences;
each hunk shows one area where the files differ.  Normal format hunks
look like this:

@example
@var{change-command}
< @var{from-file-line}
< @var{from-file-line}@dots{}
---
> @var{to-file-line}
> @var{to-file-line}@dots{}
@end example

There are three types of change commands.  Each consists of a line
number or comma-separated range of lines in the first file, a single
character indicating the kind of change to make, and a line number or
comma-separated range of lines in the second file.  All line numbers are
the original line numbers in each file.  The types of change commands
are:

@table @samp
@item @var{l}a@var{r}
Add the lines in range @var{r} of the second file after line @var{l} of
the first file.  For example, @samp{8a12,15} means append lines 12--15
of file 2 after line 8 of file 1; or, if changing file 2 into file 1,
delete lines 12--15 of file 2.

@item @var{f}c@var{t}
Replace the lines in range @var{f} of the first file with lines in range
@var{t} of the second file.  This is like a combined add and delete, but
more compact.  For example, @samp{5,7c8,10} means change lines 5--7 of
file 1 to read as lines 8--10 of file 2; or, if changing file 2 into
file 1, change lines 8--10 of file 2 to read as lines 5--7 of file 1.

@item @var{r}d@var{l}
Delete the lines in range @var{r} from the first file; line @var{l} is where
they would have appeared in the second file had they not been deleted.
For example, @samp{5,7d3} means delete lines 5--7 of file 1; or, if
changing file 2 into file 1, append lines 5--7 of file 1 after line 3 of
file 2.
@end table

@node Example Normal, , Detailed Normal, Normal
@subsection An Example of Normal Format

Here is the output of the command @samp{diff lao tzu}
(@pxref{Sample diff Input}, for the complete contents of the two files).
Notice that it shows only the lines that are different between the two
files.

@example
1,2d0
< The Way that can be told of is not the eternal Way;
< The name that can be named is not the eternal name.
4c2,3
< The Named is the mother of all things.
---
> The named is the mother of all things.
> 
11a11,13
> They both may be called deep and profound.
> Deeper and more profound,
> The door of all subtleties!
@end example

@node Context, Side by Side, Normal, Output Formats
@section Showing Differences in Their Context
@cindex context output format
@cindex @samp{!} output format

Usually, when you are looking at the differences between files, you will
also want to see the parts of the files near the lines that differ, to
help you understand exactly what has changed.  These nearby parts of the
files are called the @dfn{context}.

GNU @code{diff} provides two output formats that show context around the
differing lines: @dfn{context format} and @dfn{unified format}.  It can
optionally show in which function or section of the file the differing
lines are found.

If you are distributing new versions of files to other people in the
form of @code{diff} output, you should use one of the output formats
that show context so that they can apply the diffs even if they have
made small changes of their own to the files.  @code{patch} can apply
the diffs in this case by searching in the files for the lines of
context around the differing lines; if those lines are actually a few
lines away from where the diff says they are, @code{patch} can adjust
the line numbers accordingly and still apply the diff correctly.
@xref{Imperfect}, for more information on using @code{patch} to apply
imperfect diffs.

@menu
* Context Format::      An output format that shows surrounding lines.
* Unified Format::      A more compact output format that shows context.
* Sections::            Showing which sections of the files differences are in.
* Alternate Names::     Showing alternate file names in context headers.
@end menu

@node Context Format, Unified Format, , Context
@subsection Context Format

The context output format shows several lines of context around the
lines that differ.  It is the standard format for distributing updates
to source code.

To select this output format, use the @samp{-C @var{lines}},
@samp{--context@r{[}=@var{lines}@r{]}}, or @samp{-c} option.  The
argument @var{lines} that some of these options take is the number of
lines of context to show.  If you do not specify @var{lines}, it
defaults to three.  For proper operation, @code{patch} typically needs
at least two lines of context.

@menu
* Detailed Context::    A detailed description of the context output format.
* Example Context::     Sample output in context format.
* Less Context::        Another sample with less context.
@end menu

@node Detailed Context, Example Context, , Context Format
@subsubsection Detailed Description of Context Format

The context output format starts with a two-line header, which looks
like this:

@example
*** @var{from-file} @var{from-file-modification-time}
--- @var{to-file} @var{to-file-modification time}
@end example

@noindent
You can change the header's content with the @samp{-L @var{label}} or
@samp{--label=@var{label}} option; see @ref{Alternate Names}.

Next come one or more hunks of differences; each hunk shows one area
where the files differ.  Context format hunks look like this:

@example
***************
*** @var{from-file-line-range} ****
  @var{from-file-line}
  @var{from-file-line}@dots{}
--- @var{to-file-line-range} ----
  @var{to-file-line}
  @var{to-file-line}@dots{}
@end example

The lines of context around the lines that differ start with two space
characters.  The lines that differ between the two files start with one
of the following indicator characters, followed by a space character:

@table @samp
@item !
A line that is part of a group of one or more lines that changed between
the two files.  There is a corresponding group of lines marked with
@samp{!} in the part of this hunk for the other file.

@item +
An ``inserted'' line in the second file that corresponds to nothing in
the first file.

@item -
A ``deleted'' line in the first file that corresponds to nothing in the
second file.
@end table

If all of the changes in a hunk are insertions, the lines of
@var{from-file} are omitted.  If all of the changes are deletions, the
lines of @var{to-file} are omitted.

@node Example Context, Less Context, Detailed Context, Context Format
@subsubsection An Example of Context Format

Here is the output of @samp{diff -c lao tzu} (@pxref{Sample diff Input},
for the complete contents of the two files).  Notice that up to three
lines that are not different are shown around each line that is
different; they are the context lines.  Also notice that the first two
hunks have run together, because their contents overlap.

@example
*** lao Sat Jan 26 23:30:39 1991
--- tzu Sat Jan 26 23:30:50 1991
***************
*** 1,7 ****
- The Way that can be told of is not the eternal Way;
- The name that can be named is not the eternal name.
  The Nameless is the origin of Heaven and Earth;
! The Named is the mother of all things.
  Therefore let there always be non-being,
    so we may see their subtlety,
  And let there always be being,
--- 1,6 ----
  The Nameless is the origin of Heaven and Earth;
! The named is the mother of all things.
! 
  Therefore let there always be non-being,
    so we may see their subtlety,
  And let there always be being,
***************
*** 9,11 ****
--- 8,13 ----
  The two are the same,
  But after they are produced,
    they have different names.
+ They both may be called deep and profound.
+ Deeper and more profound,
+ The door of all subtleties!
@end example

@node Less Context, , Example Context, Context Format
@subsubsection An Example of Context Format with Less Context

Here is the output of @samp{diff --context=1 lao tzu} (@pxref{Sample
diff Input}, for the complete contents of the two files).  Notice that
at most one context line is reported here.

@example
*** lao Sat Jan 26 23:30:39 1991
--- tzu Sat Jan 26 23:30:50 1991
***************
*** 1,5 ****
- The Way that can be told of is not the eternal Way;
- The name that can be named is not the eternal name.
  The Nameless is the origin of Heaven and Earth;
! The Named is the mother of all things.
  Therefore let there always be non-being,
--- 1,4 ----
  The Nameless is the origin of Heaven and Earth;
! The named is the mother of all things.
! 
  Therefore let there always be non-being,
***************
*** 11 ****
--- 10,13 ----
    they have different names.
+ They both may be called deep and profound.
+ Deeper and more profound,
+ The door of all subtleties!
@end example

@node Unified Format, Sections, Context Format, Context
@subsection Unified Format
@cindex unified output format
@cindex @samp{+-} output format

The unified output format is a variation on the context format that is
more compact because it omits redundant context lines.  To select this
output format, use the @samp{-U @var{lines}},
@samp{--unified@r{[}=@var{lines}@r{]}}, or @samp{-u}
option.  The argument @var{lines} is the number of lines of context to
show.  When it is not given, it defaults to three.

At present, only GNU @code{diff} can produce this format and only GNU
@code{patch} can automatically apply diffs in this format.  For proper
operation, @code{patch} typically needs at least two lines of context.

@menu
* Detailed Unified::    A detailed description of unified format.
* Example Unified::     Sample output in unified format.
@end menu

@node Detailed Unified, Example Unified, , Unified Format
@subsubsection Detailed Description of Unified Format

The unified output format starts with a two-line header, which looks
like this:

@example
--- @var{from-file} @var{from-file-modification-time}
+++ @var{to-file} @var{to-file-modification-time}
@end example

@noindent
You can change the header's content with the @samp{-L @var{label}} or
@samp{--label=@var{label}} option; see @xref{Alternate Names}.

Next come one or more hunks of differences; each hunk shows one area
where the files differ.  Unified format hunks look like this:

@example
@@@@ @var{from-file-range} @var{to-file-range} @@@@
 @var{line-from-either-file}
 @var{line-from-either-file}@dots{}
@end example

The lines common to both files begin with a space character.  The lines
that actually differ between the two files have one of the following
indicator characters in the left column:

@table @samp
@item +
A line was added here to the first file.

@item -
A line was removed here from the first file.
@end table

@node Example Unified, , Detailed Unified, Unified Format
@subsubsection An Example of Unified Format

Here is the output of the command @samp{diff -u lao tzu}
(@pxref{Sample diff Input}, for the complete contents of the two files):

@example
--- lao Sat Jan 26 23:30:39 1991
+++ tzu Sat Jan 26 23:30:50 1991
@@@@ -1,7 +1,6 @@@@
-The Way that can be told of is not the eternal Way;
-The name that can be named is not the eternal name.
 The Nameless is the origin of Heaven and Earth;
-The Named is the mother of all things.
+The named is the mother of all things.
+
 Therefore let there always be non-being,
   so we may see their subtlety,
 And let there always be being,
@@@@ -9,3 +8,6 @@@@
 The two are the same,
 But after they are produced,
   they have different names.
+They both may be called deep and profound.
+Deeper and more profound,
+The door of all subtleties!
@end example

@node Sections, Alternate Names, Unified Format, Context
@subsection Showing Which Sections Differences Are in
@cindex headings
@cindex section headings

Sometimes you might want to know which part of the files each change
falls in.  If the files are source code, this could mean which function
was changed.  If the files are documents, it could mean which chapter or
appendix was changed.  GNU @code{diff} can show this by displaying the
nearest section heading line that precedes the differing lines.  Which
lines are ``section headings'' is determined by a regular expression.

@menu
* Specified Headings::  Showing headings that match regular expressions.
* C Function Headings:: Showing headings of C functions.
@end menu

@node Specified Headings, C Function Headings, , Sections
@subsubsection Showing Lines That Match Regular Expressions
@cindex specified headings
@cindex regular expression matching headings

To show in which sections differences occur for files that are not
source code for C or similar languages, use the @samp{-F @var{regexp}}
or @samp{--show-function-line=@var{regexp}} option.  @code{diff}
considers lines that match the argument @var{regexp} to be the beginning
of a section of the file.  Here are suggested regular expressions for
some common languages:

@c Please add to this list, e.g. Fortran, Pascal.
@table @samp
@item ^[A-Za-z_]
C, C++, Prolog
@item ^(
Lisp
@item ^@@\(chapter\|appendix\|unnumbered\|chapheading\)
Texinfo
@end table

This option does not automatically select an output format; in order to
use it, you must select the context format (@pxref{Context Format}) or
unified format (@pxref{Unified Format}).  In other output formats it
has no effect.

The @samp{-F} and @samp{--show-function-line} options find the nearest
unchanged line that precedes each hunk of differences and matches the
given regular expression.  Then they add that line to the end of the
line of asterisks in the context format, or to the @samp{@@@@} line in
unified format.  If no matching line exists, they leave the output for
that hunk unchanged.  If that line is more than 40 characters long, they
output only the first 40 characters.  You can specify more than one
regular expression for such lines; @code{diff} tries to match each line
against each regular expression, starting with the last one given.  This
means that you can use @samp{-p} and @samp{-F} together, if you wish.

@node C Function Headings, , Specified Headings, Sections
@subsubsection Showing C Function Headings
@cindex C function headings
@cindex function headings, C

To show in which functions differences occur for C and similar
languages, you can use the @samp{-p} or @samp{--show-c-function} option.
This option automatically defaults to the context output format
(@pxref{Context Format}), with the default number of lines of context.
You can override that number with @samp{-C @var{lines}} elsewhere in the
command line.  You can override both the format and the number with
@samp{-U @var{lines}} elsewhere in the command line.

The @samp{-p} and @samp{--show-c-function} options are equivalent to
@samp{-F'^[_a-zA-Z$]'} if the unified format is specified, otherwise
@samp{-c -F'^[_a-zA-Z$]'} (@pxref{Specified Headings}).  GNU @code{diff}
provides them for the sake of convenience.

@node Alternate Names, , Sections, Context
@subsection Showing Alternate File Names
@cindex alternate file names
@cindex file name alternates

If you are comparing two files that have meaningless or uninformative
names, you might want @code{diff} to show alternate names in the header
of the context and unified output formats.  To do this, use the @samp{-L
@var{label}} or @samp{--label=@var{label}} option.  The first time
you give this option, its argument replaces the name and date of the
first file in the header; the second time, its argument replaces the
name and date of the second file.  If you give this option more than
twice, @code{diff} reports an error.  The @samp{-L} option does not
affect the file names in the @code{pr} header when the @samp{-l} or
@samp{--paginate} option is used (@pxref{Pagination}).

Here are the first two lines of the output from @samp{diff -C2
-Loriginal -Lmodified lao tzu}:

@example
*** original
--- modified
@end example

@node Side by Side, Scripts, Context, Output Formats
@section Showing Differences Side by Side
@cindex side by side
@cindex two-column output
@cindex columnar output

@code{diff} can produce a side by side difference listing of two files.
The files are listed in two columns with a gutter between them.  The
gutter contains one of the following markers:

@table @asis
@item white space
The corresponding lines are in common.  That is, either the lines are
identical, or the difference is ignored because of one of the
@samp{--ignore} options (@pxref{White Space}).

@item @samp{|}
The corresponding lines differ, and they are either both complete
or both incomplete.

@item @samp{<}
The files differ and only the first file contains the line.

@item @samp{>}
The files differ and only the second file contains the line.

@item @samp{(}
Only the first file contains the line, but the difference is ignored.

@item @samp{)}
Only the second file contains the line, but the difference is ignored.

@item @samp{\}
The corresponding lines differ, and only the first line is incomplete.

@item @samp{/}
The corresponding lines differ, and only the second line is incomplete.
@end table

Normally, an output line is incomplete if and only if the lines that it
contains are incomplete; @xref{Incomplete Lines}.  However, when an
output line represents two differing lines, one might be incomplete
while the other is not.  In this case, the output line is complete,
but its the gutter is marked @samp{\} if the first line is incomplete,
@samp{/} if the second line is.

Side by side format is sometimes easiest to read, but it has limitations.
It generates much wider output than usual, and truncates lines that are
too long to fit.  Also, it relies on lining up output more heavily than
usual, so its output looks particularly bad if you use varying
width fonts, nonstandard tab stops, or nonprinting characters.

You can use the @code{sdiff} command to interactively merge side by side
differences.  @xref{Interactive Merging}, for more information on merging files.

@menu
* Side by Side Format::         Controlling side by side output format.
* Example Side by Side::        Sample side by side output.
@end menu

@node Side by Side Format, Example Side by Side, , Side by Side
@section Controlling Side by Side Format
@cindex side by side format

The @samp{-y} or @samp{--side-by-side} option selects side by side
format.  Because side by side output lines contain two input lines, they
are wider than usual.  They are normally 130 columns, which can fit onto
a traditional printer line.  You can set the length of output lines with
the @samp{-W @var{columns}} or @samp{--width=@var{columns}} option.  The
output line is split into two halves of equal length, separated by a
small gutter to mark differences; the right half is aligned to a tab
stop so that tabs line up.  Input lines that are too long to fit in half
of an output line are truncated for output.

The @samp{--left-column} option prints only the left column of two
common lines.  The @samp{--suppress-common-lines} option suppresses
common lines entirely.

@node Example Side by Side, , Side by Side Format, Side by Side
@subsection An Example of Side by Side Format

Here is the output of the command @samp{diff -y -W 72 lao tzu}
(@pxref{Sample diff Input}, for the complete contents of the two files).

@example
The Way that can be told of is n   <
The name that can be named is no   <
The Nameless is the origin of He        The Nameless is the origin of He
The Named is the mother of all t   |    The named is the mother of all t
                                   >
Therefore let there always be no        Therefore let there always be no
  so we may see their subtlety,           so we may see their subtlety,
And let there always be being,          And let there always be being,
  so we may see their outcome.            so we may see their outcome.
The two are the same,                   The two are the same,
But after they are produced,            But after they are produced,
  they have different names.              they have different names.
                                   >    They both may be called deep and
                                   >    Deeper and more profound,
                                   >    The door of all subtleties!
@end example

@node Scripts, If-then-else, Side by Side, Output Formats
@section Making Edit Scripts
@cindex script output formats

Several output modes produce command scripts for editing @var{from-file}
to produce @var{to-file}.

@menu
* ed Scripts::          Using @code{diff} to produce commands for @code{ed}.
* Forward ed::          Making forward @code{ed} scripts.
* RCS::                 A special @code{diff} output format used by RCS.
@end menu

@node ed Scripts, Forward ed, , Scripts
@subsection @code{ed} Scripts
@cindex @code{ed} script output format

@code{diff} can produce commands that direct the @code{ed} text editor
to change the first file into the second file.  Long ago, this was the
only output mode that was suitable for editing one file into another
automatically; today, with @code{patch}, it is almost obsolete.  Use the
@samp{-e} or @samp{--ed} option to select this output format.

Like the normal format (@pxref{Normal}), this output format does not
show any context; unlike the normal format, it does not include the
information necessary to apply the diff in reverse (to produce the first
file if all you have is the second file and the diff).

If the file @file{d} contains the output of @samp{diff -e old new}, then
the command @samp{(cat d && echo w) | ed - old} edits @file{old} to make
it a copy of @file{new}.  More generally, if @file{d1}, @file{d2},
@dots{}, @file{dN} contain the outputs of @samp{diff -e old new1},
@samp{diff -e new1 new2}, @dots{}, @samp{diff -e newN-1 newN},
respectively, then the command @samp{(cat d1 d2 @dots{} dN && echo w) |
ed - old} edits @file{old} to make it a copy of @file{newN}.

@menu
* Detailed ed::         A detailed description of @code{ed} format.
* Example ed::          A sample @code{ed} script.
@end menu

@node Detailed ed, Example ed, , ed Scripts
@subsubsection Detailed Description of @code{ed} Format

The @code{ed} output format consists of one or more hunks of
differences.  The changes closest to the ends of the files come first so
that commands that change the number of lines do not affect how
@code{ed} interprets line numbers in succeeding commands.  @code{ed}
format hunks look like this:

@example
@var{change-command}
@var{to-file-line}
@var{to-file-line}@dots{}
.
@end example

Because @code{ed} uses a single period on a line to indicate the end of
input, GNU @code{diff} protects lines of changes that contain a single
period on a line by writing two periods instead, then writing a
subsequent @code{ed} command to change the two periods into one.  The
@code{ed} format cannot represent an incomplete line, so if the second
file ends in a changed incomplete line, @code{diff} reports an error and
then pretends that a newline was appended.

There are three types of change commands.  Each consists of a line
number or comma-separated range of lines in the first file and a single
character indicating the kind of change to make.  All line numbers are
the original line numbers in the file.  The types of change commands
are:

@table @samp
@item @var{l}a
Add text from the second file after line @var{l} in the first file.  For
example, @samp{8a} means to add the following lines after line 8 of file
1.

@item @var{r}c
Replace the lines in range @var{r} in the first file with the following
lines.  Like a combined add and delete, but more compact.  For example,
@samp{5,7c} means change lines 5--7 of file 1 to read as the text file
2.

@item @var{r}d
Delete the lines in range @var{r} from the first file.  For example,
@samp{5,7d} means delete lines 5--7 of file 1.
@end table

@node Example ed, , Detailed ed, ed Scripts
@subsubsection Example @code{ed} Script

Here is the output of @samp{diff -e lao tzu} (@pxref{Sample
diff Input}, for the complete contents of the two files):

@example
11a
They both may be called deep and profound.
Deeper and more profound,
The door of all subtleties!
.
4c
The named is the mother of all things.

.
1,2d
@end example

@node Forward ed, RCS, ed Scripts, Scripts
@subsection Forward @code{ed} Scripts
@cindex forward @code{ed} script output format

@code{diff} can produce output that is like an @code{ed} script, but
with hunks in forward (front to back) order.  The format of the commands
is also changed slightly: command characters precede the lines they
modify, spaces separate line numbers in ranges, and no attempt is made
to disambiguate hunk lines consisting of a single period.  Like
@code{ed} format, forward @code{ed} format cannot represent incomplete
lines.

Forward @code{ed} format is not very useful, because neither @code{ed}
nor @code{patch} can apply diffs in this format.  It exists mainly for
compatibility with older versions of @code{diff}.  Use the @samp{-f} or
@samp{--forward-ed} option to select it.

@node RCS, , Forward ed, Scripts
@subsection RCS Scripts
@cindex RCS script output format

The RCS output format is designed specifically for use by the Revision
Control System, which is a set of free programs used for organizing
different versions and systems of files.  Use the @samp{-n} or
@samp{--rcs} option to select this output format.  It is like the
forward @code{ed} format (@pxref{Forward ed}), but it can represent
arbitrary changes to the contents of a file because it avoids the
forward @code{ed} format's problems with lines consisting of a single
period and with incomplete lines.  Instead of ending text sections with
a line consisting of a single period, each command specifies the number
of lines it affects; a combination of the @samp{a} and @samp{d}
commands are used instead of @samp{c}.  Also, if the second file ends
in a changed incomplete line, then the output also ends in an
incomplete line.

Here is the output of @samp{diff -n lao tzu} (@pxref{Sample
diff Input}, for the complete contents of the two files):

@example
d1 2
d4 1
a4 2
The named is the mother of all things.

a11 3
They both may be called deep and profound.
Deeper and more profound,
The door of all subtleties!
@end example

@node If-then-else, , Scripts, Output Formats
@section Merging Files with If-then-else
@cindex merged output format
@cindex if-then-else output format
@cindex C if-then-else output format
@cindex @code{ifdef} output format

You can use @code{diff} to merge two files of C source code.  The output
of @code{diff} in this format contains all the lines of both files.
Lines common to both files are output just once; the differing parts are
separated by the C preprocessor directives @code{#ifdef @var{name}} or
@code{#ifndef @var{name}}, @code{#else}, and @code{#endif}.  When
compiling the output, you select which version to use by either defining
or leaving undefined the macro @var{name}.

To merge two files, use @code{diff} with the @samp{-D @var{name}} or
@samp{--ifdef=@var{name}} option.  The argument @var{name} is the C
preprocessor identifier to use in the @code{#ifdef} and @code{#ifndef}
directives.

For example, if you change an instance of @code{wait (&s)} to
@code{waitpid (-1, &s, 0)} and then merge the old and new files with
the @samp{--ifdef=HAVE_WAITPID} option, then the affected part of your code
might look like this:

@example
    do @{
#ifndef HAVE_WAITPID
        if ((w = wait (&s)) < 0  &&  errno != EINTR)
#else /* HAVE_WAITPID */
        if ((w = waitpid (-1, &s, 0)) < 0  &&  errno != EINTR)
#endif /* HAVE_WAITPID */
            return w;
    @} while (w != child);
@end example

You can specify formats for languages other than C by using line group
formats and line formats, as described in the next sections.

@menu
* Line Group Formats::          Formats for general if-then-else line groups.
* Line Formats::                Formats for each line in a line group.
* Detailed If-then-else::       A detailed description of if-then-else format.
* Example If-then-else::        Sample if-then-else format output.
@end menu

@node Line Group Formats, Line Formats, , If-then-else
@subsection Line Group Formats
@cindex line group formats
@cindex formats for if-then-else line groups

Line group formats let you specify formats suitable for many
applications that allow if-then-else input, including programming
languages and text formatting languages.  A line group format specifies
the output format for a contiguous group of similar lines.

For example, the following command compares the TeX files @file{old}
and @file{new}, and outputs a merged file in which old regions are
surrounded by @samp{\begin@{em@}}-@samp{\end@{em@}} lines, and new
regions are surrounded by @samp{\begin@{bf@}}-@samp{\end@{bf@}} lines.

@example
diff \
   --old-group-format='\begin@{em@}
%<\end@{em@}
' \
   --new-group-format='\begin@{bf@}
%>\end@{bf@}
' \
   old new
@end example

The following command is equivalent to the above example, but it is a
little more verbose, because it spells out the default line group formats.

@example
diff \
   --old-group-format='\begin@{em@}
%<\end@{em@}
' \
   --new-group-format='\begin@{bf@}
%>\end@{bf@}
' \
   --unchanged-group-format='%=' \
   --changed-group-format='\begin@{em@}
%<\end@{em@}
\begin@{bf@}
%>\end@{bf@}
' \
   old new
@end example

Here is a more advanced example, which outputs a diff listing with
headers containing line numbers in a ``plain English'' style.

@example
diff \
   --unchanged-group-format='' \
   --old-group-format='-------- %dn line%(n=1?:s) deleted at %df:
%<' \
   --new-group-format='-------- %dN line%(N=1?:s) added after %de:
%>' \
   --changed-group-format='-------- %dn line%(n=1?:s) changed at %df:
%<-------- to:
%>' \
   old new
@end example

To specify a line group format, use @code{diff} with one of the options
listed below.  You can specify up to four line group formats, one for
each kind of line group.  You should quote @var{format}, because it
typically contains shell metacharacters.

@table @samp
@item --old-group-format=@var{format}
These line groups are hunks containing only lines from the first file.
The default old group format is the same as the changed group format if
it is specified; otherwise it is a format that outputs the line group as-is.

@item --new-group-format=@var{format}
These line groups are hunks containing only lines from the second
file.  The default new group format is same as the the changed group
format if it is specified; otherwise it is a format that outputs the
line group as-is.

@item --changed-group-format=@var{format}
These line groups are hunks containing lines from both files.  The
default changed group format is the concatenation of the old and new
group formats.

@item --unchanged-group-format=@var{format}
These line groups contain lines common to both files.  The default
unchanged group format is a format that outputs the line group as-is.
@end table

In a line group format, ordinary characters represent themselves;
conversion specifications start with @samp{%} and have one of the
following forms.

@table @samp
@item %<
stands for the lines from the first file, including the trailing newline.
Each line is formatted according to the old line format (@pxref{Line Formats}).

@item %>
stands for the lines from the second file, including the trailing newline.
Each line is formatted according to the new line format.

@item %=
stands for the lines common to both files, including the trailing newline.
Each line is formatted according to the unchanged line format.

@item %%
stands for @samp{%}.

@item %c'@var{C}'
where @var{C} is a single character, stands for @var{C}.
@var{C} may not be a backslash or an apostrophe.
For example, @samp{%c':'} stands for a colon, even inside
the then-part of an if-then-else format, which a colon would
normally terminate.

@item %c'\@var{O}'
where @var{O} is a string of 1, 2, or 3 octal digits,
stands for the character with octal code @var{O}.
For example, @samp{%c'\0'} stands for a null character.

@item @var{F}@var{n}
where @var{F} is a @code{printf} conversion specification and @var{n} is one
of the following letters, stands for @var{n}'s value formatted with @var{F}.

@table @samp
@item e
The line number of the line just before the group in the old file.

@item f
The line number of the first line in the group in the old file;
equals @var{e} + 1.

@item l
The line number of the last line in the group in the old file.

@item m
The line number of the line just after the group in the old file;
equals @var{l} + 1.

@item n
The number of lines in the group in the old file; equals @var{l} - @var{f} + 1.

@item E, F, L, M, N
Likewise, for lines in the new file.

@end table

The @code{printf} conversion specification can be @samp{%d},
@samp{%o}, @samp{%x}, or @samp{%X}, specifying decimal, octal,
lower case hexadecimal, or upper case hexadecimal output
respectively.  After the @samp{%} the following options can appear in
sequence: a @samp{-} specifying left-justification; an integer
specifying the minimum field width; and a period followed by an
optional integer specifying the minimum number of digits.
For example, @samp{%5dN} prints the number of new lines in the group
in a field of width 5 characters, using the @code{printf} format @code{"%5d"}.

@item (@var{A}=@var{B}?@var{T}:@var{E})
If @var{A} equals @var{B} then @var{T} else @var{E}.
@var{A} and @var{B} are each either a decimal constant
or a single letter interpreted as above.
This format spec is equivalent to @var{T} if
@var{A}'s value equals @var{B}'s; otherwise it is equivalent to @var{E}.

For example, @samp{%(N=0?no:%dN) line%(N=1?:s)} is equivalent to
@samp{no lines} if @var{N} (the number of lines in the group in the the
new file) is 0, to @samp{1 line} if @var{N} is 1, and to @samp{%dN lines}
otherwise.
@end table

@node Line Formats, Detailed If-then-else, Line Group Formats, If-then-else
@subsection Line Formats
@cindex line formats

Line formats control how each line taken from an input file is
output as part of a line group in if-then-else format.

For example, the following command outputs text with a one-column
change indicator to the left of the text.  The first column of output
is @samp{-} for deleted lines, @samp{|} for added lines, and a space
for unchanged lines.  The formats contain newline characters where
newlines are desired on output.

@example
diff \
   --old-line-format='-%l
' \
   --new-line-format='|%l
' \
   --unchanged-line-format=' %l
' \
   old new
@end example

To specify a line format, use one of the following options.  You should
quote @var{format}, since it often contains shell metacharacters.

@table @samp
@item --old-line-format=@var{format}
formats lines just from the first file.

@item --new-line-format=@var{format}
formats lines just from the second file.

@item --unchanged-line-format=@var{format}
formats lines common to both files.

@item --line-format=@var{format}
formats all lines; in effect, it sets all three above options simultaneously.
@end table

In a line format, ordinary characters represent themselves;
conversion specifications start with @samp{%} and have one of the
following forms.

@table @samp
@item %l
stands for the the contents of the line, not counting its trailing
newline (if any).  This format ignores whether the line is incomplete;
@xref{Incomplete Lines}.

@item %L
stands for the the contents of the line, including its trailing newline
(if any).  If a line is incomplete, this format preserves its
incompleteness.

@item %%
stands for @samp{%}.

@item %c'@var{C}'
where @var{C} is a single character, stands for @var{C}.
@var{C} may not be a backslash or an apostrophe.
For example, @samp{%c':'} stands for a colon.

@item %c'\@var{O}'
where @var{O} is a string of 1, 2, or 3 octal digits,
stands for the character with octal code @var{O}.
For example, @samp{%c'\0'} stands for a null character.

@item @var{F}n
where @var{F} is a @code{printf} conversion specification,
stands for the line number formatted with @var{F}.
For example, @samp{%.5dn} prints the line number using the
@code{printf} format @code{"%.5d"}.  @xref{Line Group Formats}, for
more about printf conversion specifications.

@end table

The default line format is @samp{%l} followed by a newline character.

If the input contains tab characters and it is important that they line
up on output, you should ensure that @samp{%l} or @samp{%L} in a line
format is just after a tab stop (e.g.@: by preceding @samp{%l} or
@samp{%L} with a tab character), or you should use the @samp{-t} or
@samp{--expand-tabs} option.

Taken together, the line and line group formats let you specify many
different formats.  For example, the following command uses a format
similar to @code{diff}'s normal format.  You can tailor this command
to get fine control over @code{diff}'s output.

@example
diff \
   --old-line-format='< %l
' \
   --new-line-format='> %l
' \
   --old-group-format='%df%(f=l?:,%dl)d%dE
%<' \
   --new-group-format='%dea%dF%(F=L?:,%dL)
%>' \
   --changed-group-format='%df%(f=l?:,%dl)c%dF%(F=L?:,%dL)
%<---
%>' \
   --unchanged-group-format='' \
   old new
@end example

@node Detailed If-then-else, Example If-then-else, Line Formats, If-then-else
@subsection Detailed Description of If-then-else Format

For lines common to both files, @code{diff} uses the unchanged line
group format.  For each hunk of differences in the merged output
format, if the hunk contains only lines from the first file,
@code{diff} uses the old line group format; if the hunk contains only
lines from the second file, @code{diff} uses the new group format;
otherwise, @code{diff} uses the changed group format.

The old, new, and unchanged line formats specify the output format of
lines from the first file, lines from the second file, and lines common
to both files, respectively.

The option @samp{--ifdef=@var{name}} is equivalent to
the following sequence of options using shell syntax:

@example
--old-group-format='#ifndef @var{name}
%<#endif /* not @var{name} */
' \
--new-group-format='#ifdef @var{name}
%>#endif /* @var{name} */
' \
--unchanged-group-format='%=' \
--changed-group-format='#ifndef @var{name}
%<#else /* @var{name} */
%>#endif /* @var{name} */
'
@end example

You should carefully check the @code{diff} output for proper nesting.
For example, when using the the @samp{-D @var{name}} or
@samp{--ifdef=@var{name}} option, you should check that if the
differing lines contain any of the C preprocessor directives
@samp{#ifdef}, @samp{#ifndef}, @samp{#else}, @samp{#elif}, or
@samp{#endif}, they are nested properly and match.  If they don't, you
must make corrections manually.  It is a good idea to carefully check
the resulting code anyway to make sure that it really does what you
want it to; depending on how the input files were produced, the output
might contain duplicate or otherwise incorrect code.

The @code{patch} @samp{-D @var{name}} option behaves just like
the @code{diff} @samp{-D @var{name}} option, except it operates on
a file and a diff to produce a merged file; @xref{patch Options}.

@node Example If-then-else, , Detailed If-then-else, If-then-else
@subsection An Example of If-then-else Format

Here is the output of @samp{diff -DTWO lao tzu} (@pxref{Sample
diff Input}, for the complete contents of the two files):

@example
#ifndef TWO
The Way that can be told of is not the eternal Way;
The name that can be named is not the eternal name.
#endif /* not TWO */
The Nameless is the origin of Heaven and Earth;
#ifndef TWO
The Named is the mother of all things.
#else /* TWO */
The named is the mother of all things.

#endif /* TWO */
Therefore let there always be non-being,
  so we may see their subtlety,
And let there always be being,
  so we may see their outcome.
The two are the same,
But after they are produced,
  they have different names.
#ifdef TWO
They both may be called deep and profound.
Deeper and more profound,
The door of all subtleties!
#endif /* TWO */
@end example

@node Comparing Directories, Adjusting Output, Output Formats, Top
@chapter Comparing Directories

You can use @code{diff} to compare some or all of the files in two
directory trees.  When both file name arguments to @code{diff} are
directories, it compares each file that is contained in both
directories, examining file names in alphabetical order.  Normally
@code{diff} is silent about pairs of files that contain no differences,
but if you use the @samp{-s} or @samp{--report-identical-files} option,
it reports pairs of identical files.  Normally @code{diff} reports
subdirectories common to both directories without comparing
subdirectories' files, but if you use the @samp{-r} or
@samp{--recursive} option, it compares every corresponding pair of files
in the directory trees, as many levels deep as they go.

For file names that are in only one of the directories, @code{diff}
normally does not show the contents of the file that exists; it reports
only that the file exists in that directory and not in the other.  You
can make @code{diff} act as though the file existed but was empty in the
other directory, so that it outputs the entire contents of the file that
actually exists.  (It is output as either an insertion or a
deletion, depending on whether it is in the first or the second
directory given.)  To do this, use the @samp{-N} or @samp{--new-file}
option.

If the older directory contains one or more large files that are not in
the newer directory, you can make the patch smaller by using the
@samp{-P} or @samp{--unidirectional-new-file} option instead of @samp{-N}.
This option is like @samp{-N} except that it only inserts the contents
of files that appear in the second directory but not the first (that is,
files that were added).  At the top of the patch, write instructions for
the user applying the patch to remove the files that were deleted before
applying the patch.  @xref{Making Patches}, for more discussion of
making patches for distribution.

To ignore some files while comparing directories, use the @samp{-x
@var{pattern}} or @samp{--exclude=@var{pattern}} option.  This option
ignores any files or subdirectories whose base names match the shell
pattern @var{pattern}.  Unlike in the shell, a period at the start of
the base of a file name matches a wildcard at the start of a pattern.
You should enclose @var{pattern} in quotes so that the shell does not
expand it.  For example, the option @samp{-x '*.[ao]'} ignores any file
whose name ends with @samp{.a} or @samp{.o}.

This option accumulates if you specify it more than once.  For example,
using the options @samp{-x 'RCS' -x '*,v'} ignores any file or
subdirectory whose base name is @samp{RCS} or ends with @samp{,v}.

If you need to give this option many times, you can instead put the
patterns in a file, one pattern per line, and use the @samp{-X
@var{file}} or @samp{--exclude-from=@var{file}} option.

If you have been comparing two directories and stopped partway through,
later you might want to continue where you left off.  You can do this by
using the @samp{-S @var{file}} or @samp{--starting-file=@var{file}}
option.  This compares only the file @var{file} and all alphabetically
later files in the topmost directory level.

@node Adjusting Output, diff Performance, Comparing Directories, Top
@chapter Making @code{diff} Output Prettier

@code{diff} provides several ways to adjust the appearance of its output.
These adjustments can be applied to any output format.

@menu
* Tabs::                Preserving the alignment of tabstops.
* Pagination::          Page numbering and timestamping @code{diff} output.
@end menu

@node Tabs, Pagination, , Adjusting Output
@section Preserving Tabstop Alignment
@cindex tabstop alignment
@cindex aligning tabstops

The lines of text in some of the @code{diff} output formats are preceded
by one or two characters that indicate whether the text is inserted,
deleted, or changed.  The addition of those characters can cause tabs to
move to the next tabstop, throwing off the alignment of columns in the
line.  GNU @code{diff} provides two ways to make tab-aligned columns
line up correctly.

The first way is to have @code{diff} convert all tabs into the correct
number of spaces before outputting them; select this method with the
@samp{-t} or @samp{--expand-tabs} option.  @code{diff} assumes that
tabstops are set every 8 columns.  To use this form of output with
@code{patch}, you must give @code{patch} the @samp{-l} or
@samp{--ignore-white-space} option (@pxref{Changed White Space}, for more
information).

The other method for making tabs line up correctly is to add a tab
character instead of a space after the indicator character at the
beginning of the line.  This ensures that all following tab characters
are in the same position relative to tabstops that they were in the
original files, so that the output is aligned correctly.  Its
disadvantage is that it can make long lines too long to fit on one line
of the screen or the paper.  It also does not work with the unified
output format, which does not have a space character after the change
type indicator character.  Select this method with the @samp{-T} or
@samp{--initial-tab} option.

@node Pagination, , Tabs, Adjusting Output
@section Paginating @code{diff} Output
@cindex paginating @code{diff} output

It can be convenient to have long output page-numbered and time-stamped.
The @samp{-l} and @samp{--paginate} options do this by sending the
@code{diff} output through the @code{pr} program.  Here is what the page
header might look like for @samp{diff -lc lao tzu}:

@example
Mar 11 13:37 1991  diff -lc lao tzu Page 1
@end example

@node diff Performance, Comparing Three Files, Adjusting Output, Top
@chapter @code{diff} Performance Tradeoffs
@cindex performance of @code{diff}

GNU @code{diff} runs quite efficiently; however, in some circumstances
you can cause it to run faster or produce a more compact set of changes.
There are two ways that you can affect the performance of GNU
@code{diff} by changing the way it compares files.

Performance has more than one dimension.  These options improve one
aspect of performance at the cost of another, or they improve
performance in some cases while hurting it in others.

The way that GNU @code{diff} determines which lines have changed always
comes up with a near-minimal set of differences.  Usually it is good
enough for practical purposes.  If the @code{diff} output is large, you
might want @code{diff} to use a modified algorithm that sometimes
produces a smaller set of differences.  The @samp{-d} or
@samp{--minimal} option does this; however, it can also cause
@code{diff} to run more slowly than usual, so it is not the default
behavior.

When the files you are comparing are large and have small groups of
changes scattered throughout them, you can use the @samp{-H} or
@samp{--speed-large-files} option to make a different modification to
the algorithm that @code{diff} uses.  If the input files have a constant
small density of changes, this option speeds up the comparisons without
changing the output.  If not, @code{diff} might produce a larger set of
differences; however, the output will still be correct.

Normally @code{diff} discards the prefix and suffix that is common to
both files before it attempts to find a minimal set of differences.
This makes @code{diff} run faster, but occasionally it may produce
non-minimal output.  The @samp{--horizon-lines=@var{lines}} option
prevents @code{diff} from discarding the last @var{lines} lines of the
prefix and the first @var{lines} lines of the suffix.  This gives
@code{diff} further opportunities to find a minimal output.

@node Comparing Three Files, diff3 Merging, diff Performance, Top
@chapter Comparing Three Files
@cindex comparing three files
@cindex format of @code{diff3} output

Use the program @code{diff3} to compare three files and show any
differences among them.  (@code{diff3} can also merge files; see
@ref{diff3 Merging}).

The ``normal'' @code{diff3} output format shows each hunk of
differences without surrounding context.  Hunks are labeled depending
on whether they are two-way or three-way, and lines are annotated by
their location in the input files.

@xref{Invoking diff3}, for more information on how to run @code{diff3}.

@menu
* Sample diff3 Input::          Sample @code{diff3} input for examples.
* Detailed diff3 Normal::       A detailed description of normal output format.
* diff3 Hunks::                 The format of normal output format.
* Example diff3 Normal::        Sample output in the normal format.
@end menu

@node Sample diff3 Input, Detailed diff3 Normal, , Comparing Three Files
@section A Third Sample Input File
@cindex @code{diff3} sample input
@cindex sample input for @code{diff3}

Here is a third sample file that will be used in examples to illustrate
the output of @code{diff3} and how various options can change it.  The
first two files are the same that we used for @code{diff} (@pxref{Sample
diff Input}).  This is the third sample file, called @file{tao}:

@example
The Way that can be told of is not the eternal Way;
The name that can be named is not the eternal name.
The Nameless is the origin of Heaven and Earth;
The named is the mother of all things.

Therefore let there always be non-being,
  so we may see their subtlety,
And let there always be being,
  so we may see their result.
The two are the same,
But after they are produced,
  they have different names.

  -- The Way of Lao-Tzu, tr. Wing-tsit Chan
@end example

@node Detailed diff3 Normal, diff3 Hunks, Sample diff3 Input, Comparing Three Files
@section Detailed Description of @code{diff3} Normal Format

Each hunk begins with a line marked @samp{====}.  Three-way hunks have
plain @samp{====} lines, and two-way hunks have @samp{1}, @samp{2}, or
@samp{3} appended to specify which of the three input files differ in
that hunk.  The hunks contain copies of two or three sets of input
lines each preceded by one or two commands identifying where the lines
came from.

Normally, two spaces precede each copy of an input line to distinguish
it from the commands.  But with the @samp{-T} or @samp{--initial-tab}
option, @code{diff3} uses a tab instead of two spaces; this lines up
tabs correctly.  @xref{Tabs}, for more information.

Commands take the following forms:

@table @samp
@item @var{file}:@var{l}a
This hunk appears after line @var{l} of file @var{file}, and
contains no lines in that file.  To edit this file to yield the other
files, one must append hunk lines taken from the other files.  For
example, @samp{1:11a} means that the hunk follows line 11 in the first
file and contains no lines from that file.

@item @var{file}:@var{r}c
This hunk contains the lines in the range @var{r} of file @var{file}.
The range @var{r} is a comma-separated pair of line numbers, or just one
number if the range is a singleton.  To edit this file to yield the
other files, one must change the specified lines to be the lines taken
from the other files.  For example, @samp{2:11,13c} means that the hunk
contains lines 11 through 13 from the second file.
@end table

If the last line in a set of input lines is incomplete
(@pxref{Incomplete Lines}), it is distinguished on output from a full
line by a following line that starts with @samp{\}.

@node diff3 Hunks, Example diff3 Normal, Detailed diff3 Normal, Comparing Three Files
@section @code{diff3} Hunks
@cindex hunks for @code{diff3}
@cindex @code{diff3} hunks

Groups of lines that differ in two or three of the input files are
called @dfn{diff3 hunks}, by analogy with @code{diff} hunks
(@pxref{Hunks}).  If all three input files differ in a @code{diff3}
hunk, the hunk is called a @dfn{three-way hunk}; if just two input files
differ, it is a @dfn{two-way hunk}.

As with @code{diff}, several solutions are possible.  When comparing the
files @samp{A}, @samp{B}, and @samp{C}, @code{diff3} normally finds
@code{diff3} hunks by merging the two-way hunks output by the two
commands @samp{diff A B} and @samp{diff A C}.  This does not necessarily
minimize the size of the output, but exceptions should be rare.

For example, suppose @file{F} contains the three lines @samp{a},
@samp{b}, @samp{f}, @file{G} contains the lines @samp{g}, @samp{b},
@samp{g}, and @file{H} contains the lines @samp{a}, @samp{b},
@samp{h}.  @samp{diff3 F G H} might output the following:

@example
====2
1:1c
3:1c
  a
2:1c
  g
====
1:3c
  f
2:3c
  g
3:3c
  h
@end example

@noindent
because it found a two-way hunk containing @samp{a} in the first and
third files and @samp{g} in the second file, then the single line
@samp{b} common to all three files, then a three-way hunk containing
the last line of each file.

@node Example diff3 Normal, , diff3 Hunks, Comparing Three Files
@section An Example of @code{diff3} Normal Format

Here is the output of the command @samp{diff3 lao tzu tao}
(@pxref{Sample diff3 Input}, for the complete contents of the files).
Notice that it shows only the lines that are different among the three
files.

@example
====2
1:1,2c
3:1,2c
  The Way that can be told of is not the eternal Way;
  The name that can be named is not the eternal name.
2:0a
====1
1:4c
  The Named is the mother of all things.
2:2,3c
3:4,5c
  The named is the mother of all things.
  
====3
1:8c
2:7c
    so we may see their outcome.
3:9c
    so we may see their result.
====
1:11a
2:11,13c
  They both may be called deep and profound.
  Deeper and more profound,
  The door of all subtleties!
3:13,14c
  
    -- The Way of Lao-Tzu, tr. Wing-tsit Chan
@end example

@node diff3 Merging, Interactive Merging, Comparing Three Files, Top
@chapter Merging From a Common Ancestor
@cindex merging from a common ancestor

When two people have made changes to copies of the same file,
@code{diff3} can produce a merged output that contains both sets of
changes together with warnings about conflicts.

One might imagine programs with names like @code{diff4} and @code{diff5}
to compare more than three files simultaneously, but in practice the
need rarely arises.  You can use @code{diff3} to merge three or more
sets of changes to a file by merging two change sets at a time.

@code{diff3} can incorporate changes from two modified versions into a
common preceding version.  This lets you merge the sets of changes
represented by the two newer files.  Specify the common ancestor version
as the second argument and the two newer versions as the first and third
arguments, like this:

@example
diff3 @var{mine} @var{older} @var{yours}
@end example

@noindent
You can remember the order of the arguments by noting that they are in
alphabetical order.

@cindex conflict
@cindex overlap
You can think of this as subtracting @var{older} from @var{yours} and
adding the result to @var{mine}, or as merging into @var{mine} the
changes that would turn @var{older} into @var{yours}.  This merging is
well-defined as long as @var{mine} and @var{older} match in the
neighborhood of each such change.  This fails to be true when all three
input files differ or when only @var{older} differs; we call this
a @dfn{conflict}.  When all three input files differ, we call the
conflict an @dfn{overlap}.

@code{diff3} gives you several ways to handle overlaps and conflicts.
You can omit overlaps or conflicts, or select only overlaps,
or mark conflicts with special @samp{<<<<<<<} and @samp{>>>>>>>} lines.

@code{diff3} can output the merge results as an @code{ed} script that
that can be applied to the first file to yield the merged output.
However, it is usually better to have @code{diff3} generate the merged
output directly; this bypasses some problems with @code{ed}.

@menu
* Which Changes::               Selecting changes to incorporate.
* Marking Conflicts::           Marking conflicts.
* Bypassing ed::                Generating merged output directly.
* Merging Incomplete Lines::    How @code{diff3} merges incomplete lines.
* Saving the Changed File::     Emulating System V behavior.
@end menu

@node Which Changes, Marking Conflicts, , diff3 Merging
@section Selecting Which Changes to Incorporate
@cindex overlapping change, selection of
@cindex unmerged change

You can select all unmerged changes from @var{older} to @var{yours} for merging
into @var{mine} with the @samp{-e} or @samp{--ed} option.  You can
select only the nonoverlapping unmerged changes with @samp{-3} or
@samp{--easy-only}, and you can select only the overlapping changes with
@samp{-x} or @samp{--overlap-only}.

The @samp{-e}, @samp{-3} and @samp{-x} options select only
@dfn{unmerged changes}, i.e.@: changes where @var{mine} and @var{yours}
differ; they ignore changes from @var{older} to @var{yours} where
@var{mine} and @var{yours} are identical, because they assume that such
changes have already been merged.  If this assumption is not a safe
one, you can use the @samp{-A} or @samp{--show-all} option
(@pxref{Marking Conflicts}).

Here is the output of the command @code{diff3} with each of these three
options (@pxref{Sample diff3 Input}, for the complete contents of the files).
Notice that @samp{-e} outputs the union of the disjoint sets of changes
output by @samp{-3} and @samp{-x}.

Output of @samp{diff3 -e lao tzu tao}:
@example
11a

  -- The Way of Lao-Tzu, tr. Wing-tsit Chan
.
8c
  so we may see their result.
.
@end example

Output of @samp{diff3 -3 lao tzu tao}:
@example
8c
  so we may see their result.
.
@end example

Output of @samp{diff3 -x lao tzu tao}:
@example
11a

  -- The Way of Lao-Tzu, tr. Wing-tsit Chan
.
@end example

@node Marking Conflicts, Bypassing ed, Which Changes, diff3 Merging
@section Marking Conflicts
@cindex conflict marking
@cindex @samp{<<<<<<<} for marking conflicts

@code{diff3} can mark conflicts in the merged output by
bracketing them with special marker lines.  A conflict
that comes from two files @var{A} and @var{B} is marked as follows:

@example
<<<<<<< @var{A}
@r{lines from @var{A}}
=======
@r{lines from @var{B}}
>>>>>>> @var{B}
@end example

A conflict that comes from three files @var{A}, @var{B} and @var{C} is
marked as follows:

@example
<<<<<<< @var{A}
@r{lines from @var{A}}
||||||| @var{B}
@r{lines from @var{B}}
=======
@r{lines from @var{C}}
>>>>>>> @var{C}
@end example

The @samp{-A} or @samp{--show-all} option acts like the @samp{-e}
option, except that it brackets conflicts, and it outputs all changes
from @var{older} to @var{yours}, not just the unmerged changes.  Thus,
given the sample input files (@pxref{Sample diff3 Input}), @samp{diff3
-A lao tzu tao} puts brackets around the conflict where only @file{tzu}
differs:

@example
<<<<<<< tzu
=======
The Way that can be told of is not the eternal Way;
The name that can be named is not the eternal name.
>>>>>>> tao
@end example

And it outputs the three-way conflict as follows:

@example
<<<<<<< lao
||||||| tzu
They both may be called deep and profound.
Deeper and more profound,
The door of all subtleties!
=======

  -- The Way of Lao-Tzu, tr. Wing-tsit Chan
>>>>>>> tao
@end example

The @samp{-E} or @samp{--show-overlap} option outputs less information
than the @samp{-A} or @samp{--show-all} option, because it outputs only
unmerged changes, and it never outputs the contents of the second
file.  Thus the @samp{-E} option acts like the @samp{-e} option,
except that it brackets the first and third files from three-way
overlapping changes.  Similarly, @samp{-X} acts like @samp{-x}, except
it brackets all its (necessarily overlapping) changes.  For example,
for the three-way overlapping change above, the @samp{-E} and @samp{-X}
options output the following:

@example
<<<<<<< lao
=======

  -- The Way of Lao-Tzu, tr. Wing-tsit Chan
>>>>>>> tao
@end example

If you are comparing files that have meaningless or uninformative names,
you can use the @samp{-L @var{label}} or @samp{--label=@var{label}}
option to show alternate names in the @samp{<<<<<<<}, @samp{|||||||}
and @samp{>>>>>>>} brackets.  This option can be given up to three
times, once for each input file.  Thus @samp{diff3 -A -L X -L Y -L Z A
B C} acts like @samp{diff3 -A A B C}, except that the output looks like
it came from files named @samp{X}, @samp{Y} and @samp{Z} rather than
from files named @samp{A}, @samp{B} and @samp{C}.

@node Bypassing ed, Merging Incomplete Lines, Marking Conflicts, diff3 Merging
@section Generating the Merged Output Directly
@cindex merged @code{diff3} format

With the @samp{-m} or @samp{--merge} option, @code{diff3} outputs the
merged file directly.  This is more efficient than using @code{ed} to
generate it, and works even with non-text files that @code{ed} would
reject.  If you specify @samp{-m} without an @code{ed} script option,
@samp{-A} (@samp{--show-all}) is assumed.

For example, the command @samp{diff3 -m lao tzu tao}
(@pxref{Sample diff3 Input} for a copy of the input files) would output
the following:

@example
<<<<<<< tzu
=======
The Way that can be told of is not the eternal Way;
The name that can be named is not the eternal name.
>>>>>>> tao
The Nameless is the origin of Heaven and Earth;
The Named is the mother of all things.
Therefore let there always be non-being,
  so we may see their subtlety,
And let there always be being,
  so we may see their result.
The two are the same,
But after they are produced,
  they have different names.
<<<<<<< lao
||||||| tzu
They both may be called deep and profound.
Deeper and more profound,
The door of all subtleties!
=======

  -- The Way of Lao-Tzu, tr. Wing-tsit Chan
>>>>>>> tao
@end example

@node Merging Incomplete Lines, Saving the Changed File, Bypassing ed, diff3 Merging
@section How @code{diff3} Merges Incomplete Lines
@cindex incomplete line merging

With @samp{-m}, incomplete lines (@pxref{Incomplete Lines}) are simply
copied to the output as they are found; if the merged output ends in an
conflict and one of the input files ends in an incomplete
line, succeeding @samp{|||||||}, @samp{=======} or @samp{>>>>>>>}
brackets appear somewhere other than the start of a line because
they are appended to the incomplete line.

Without @samp{-m}, if an @code{ed} script option is specified and an
incomplete line is found, @code{diff3} generates a warning and acts as
if a newline had been present.

@node Saving the Changed File, , Merging Incomplete Lines, diff3 Merging
@section Saving the Changed File
@cindex System V @code{diff3} compatibility

Traditional Unix @code{diff3} generates an @code{ed} script without the
trailing @samp{w} and and @samp{q} commands that save the changes.
System V @code{diff3} generates these extra commands.  GNU @code{diff3}
normally behaves like traditional Unix @code{diff3}, but with the
@samp{-i} option it behaves like System V @code{diff3} and appends the
@samp{w} and @samp{q} commands.

The @samp{-i} option requires one of the @code{ed} script options
@samp{-AeExX3}, and is incompatible with the merged output option
@samp{-m}.

@node Interactive Merging, Merging with patch, diff3 Merging, Top
@chapter Interactive Merging with @code{sdiff}
@cindex diff merging
@cindex interactive merging

With @code{sdiff}, you can merge two files interactively based on a
side-by-side @samp{-y} format comparison (@pxref{Side by Side}).  Use
@samp{-o @var{file}} or @samp{--output=@var{file}} to specify where to
put the merged text.  @xref{Invoking sdiff}, for more details on the
options to @code{sdiff}.

Another way to merge files interactively is to use the Emacs Lisp
package @code{emerge}.  @xref{emerge, , emerge, emacs, The GNU Emacs
Manual}, for more information.

@menu
* sdiff Option Summary::Summary of @code{sdiff} options.
* Merge Commands::      Merging two files interactively.
@end menu

@node sdiff Option Summary, Merge Commands, , Interactive Merging
@section Specifying @code{diff} Options to @code{sdiff}
@cindex @code{sdiff} output format

The following @code{sdiff} options have the same meaning as for
@code{diff}.  @xref{diff Options}, for the use of these options.

@example
-a -b -d -i -t -v
-B -H -I @var{regexp}

--ignore-blank-lines  --ignore-case
--ignore-matching-lines=@var{regexp}  --ignore-space-change
--left-column  --minimal  --speed-large-files
--suppress-common-lines  --expand-tabs
--text  --version  --width=@var{columns}
@end example

For historical reasons, @code{sdiff} has alternate names for some
options.  The @samp{-l} option is equivalent to the @samp{--left-column}
option, and similarly @samp{-s} is equivalent to
@samp{--suppress-common-lines}.  The meaning of the @code{sdiff}
@samp{-w} and @samp{-W} options is interchanged from that of
@code{diff}: with @code{sdiff}, @samp{-w @var{columns}} is equivalent to
@samp{--width=@var{columns}}, and @samp{-W} is equivalent to
@samp{--ignore-all-space}.  @code{sdiff} without the @samp{-o} option is
equivalent to @code{diff} with the @samp{-y} or @samp{--side-by-side}
option (@pxref{Side by Side}).

@node Merge Commands, , sdiff Option Summary, Interactive Merging
@section Merge Commands
@cindex merge commands
@cindex merging interactively

Groups of common lines, with a blank gutter, are copied from the first
file to the output.  After each group of differing lines, @code{sdiff}
prompts with @samp{%} and pauses, waiting for one of the following
commands.  Follow each command with @key{RET}.

@table @samp
@item e
Discard both versions.
Invoke a text editor on an empty temporary file,
then copy the resulting file to the output.

@item eb
Concatenate the two versions, edit the result in a temporary file,
then copy the edited result to the output.

@item el
Edit a copy of the left version, then copy the result to the output.

@item er
Edit a copy of the right version, then copy the result to the output.

@item l
Copy the left version to the output.

@item q
Quit.

@item r
Copy the right version to the output.

@item s
Silently copy common lines.

@item v
Verbosely copy common lines.  This is the default.
@end table

The text editor invoked is specified by the @code{EDITOR} environment
variable if it is set.  The default is system-dependent.

@node Merging with patch, Making Patches, Interactive Merging, Top
@chapter Merging with @code{patch}

@code{patch} takes comparison output produced by @code{diff} and applies
the differences to a copy of the original file, producing a patched
version.  With @code{patch}, you can distribute just the changes to a
set of files instead of distributing the entire file set; your
correspondents can apply @code{patch} to update their copy of the files
with your changes.  @code{patch} automatically determines the diff
format, skips any leading or trailing headers, and uses the headers to
determine which file to patch.  This lets your correspondents feed an
article or message containing a difference listing directly to
@code{patch}.

@code{patch} detects and warns about common problems like forward
patches.  It saves the original version of the files it patches, and
saves any patches that it could not apply.  It can also maintain a
@code{patchlevel.h} file to ensures that your correspondents apply
diffs in the proper order.

@code{patch} accepts a series of diffs in its standard input, usually
separated by headers that specify which file to patch.  It applies
@code{diff} hunks (@pxref{Hunks}) one by one.  If a hunk does not
exactly match the original file, @code{patch} uses heuristics to try to
patch the file as well as it can.  If no approximate match can be found,
@code{patch} rejects the hunk and skips to the next hunk.  @code{patch}
normally replaces each file @var{f} with its new version, saving the
original file in @samp{@var{f}.orig}, and putting reject hunks (if any)
into @samp{@var{f}.rej}.

@xref{Invoking patch}, for detailed information on the options to
@code{patch}.  @xref{Backups}, for more information on how
@code{patch} names backup files.  @xref{Rejects}, for more information
on where @code{patch} puts reject hunks.

@menu
* patch Input::         Selecting the type of @code{patch} input.
* Imperfect::           Dealing with imperfect patches.
* Empty Files::         Removing empty files after patching.
* Multiple Patches::    Handling multiple patches in a file specially.
* patch Messages::      Messages and questions @code{patch} can produce.
@end menu

@node patch Input, Imperfect, , Merging with patch
@section Selecting the @code{patch} Input Format
@cindex @code{patch} input format

@code{patch} normally determines which @code{diff} format the patch
file uses by examining its contents.  For patch files that contain
particularly confusing leading text, you might need to use one of the
following options to force @code{patch} to interpret the patch file as a
certain format of diff.  The output formats listed here are the only
ones that @code{patch} can understand.

@table @samp
@item -c
@itemx --context
context diff.

@item -e
@itemx --ed
@code{ed} script.

@item -n
@itemx --normal
normal diff.

@item -u
@itemx --unified
unified diff.
@end table

@node Imperfect, Empty Files, patch Input, Merging with patch
@section Applying Imperfect Patches
@cindex imperfect patch application

@code{patch} tries to skip any leading text in the patch file, apply the
diff, and then skip any trailing text.  Thus you can feed a news article
or mail message directly to @code{patch}, and it should work.  If the
entire diff is indented by a constant amount of white space, @code{patch}
automatically ignores the indentation.

However, certain other types of imperfect input require user
intervention.

@menu
* Changed White Space:: When tabs and spaces don't match exactly.
* Reversed Patches::    Applying reversed patches correctly.
* Inexact::             Helping @code{patch} find close matches.
@end menu

@node Changed White Space, Reversed Patches, , Imperfect
@subsection Applying Patches with Changed White Space
@cindex white space in patches

Sometimes mailers, editors, or other programs change spaces into tabs,
or vice versa.  If this happens to a patch file or an input file, the
files might look the same, but @code{patch} will not be able to match
them properly.  If this problem occurs, use the @samp{-l} or
@samp{--ignore-white-space} option, which makes @code{patch} compare
white space loosely so that any sequence of white space in the patch file
matches any sequence of white space in the input files.  Non-white-space
characters must still match exactly.  Each line of the context must
still match a line in the input file.

@node Reversed Patches, Inexact, Changed White Space, Imperfect
@subsection Applying Reversed Patches
@cindex reversed patches

Sometimes people run @code{diff} with the new file first instead of
second.  This creates a diff that is ``reversed''.  To apply such
patches, give @code{patch} the @samp{-R} or @samp{--reverse} option.
@code{patch} then attempts to swap each hunk around before applying it.
Rejects come out in the swapped format.  The @samp{-R} option does not
work with @code{ed} scripts because there is too little information in
them to reconstruct the reverse operation.

Often @code{patch} can guess that the patch is reversed.  If the first
hunk of a patch fails, @code{patch} reverses the hunk to see if it can
apply it that way.  If it can, @code{patch} asks you if you want to have
the @samp{-R} option set; if it can't, @code{patch} continues to apply
the patch normally.  This method cannot detect a reversed patch if it is
a normal diff and the first command is an append (which should have been
a delete) since appends always succeed, because a null context matches
anywhere.  But most patches add or change lines rather than delete them,
so most reversed normal diffs begin with a delete, which fails, and
@code{patch} notices.

If you apply a patch that you have already applied, @code{patch} thinks
it is a reversed patch and offers to un-apply the patch.  This could be
construed as a feature.  If you did this inadvertently and you don't
want to un-apply the patch, just answer @samp{n} to this offer and to
the subsequent ``apply anyway'' question---or type @kbd{C-c} to kill the
@code{patch} process.

@node Inexact, , Reversed Patches, Imperfect
@subsection Helping @code{patch} Find Inexact Matches
@cindex inexact patches
@cindex fuzz factor when patching

For context diffs, and to a lesser extent normal diffs, @code{patch} can
detect when the line numbers mentioned in the patch are incorrect, and
it attempts to find the correct place to apply each hunk of the patch.
As a first guess, it takes the line number mentioned in the hunk, plus
or minus any offset used in applying the previous hunk.  If that is not
the correct place, @code{patch} scans both forward and backward for a
set of lines matching the context given in the hunk.

First @code{patch} looks for a place where all lines of the context
match.  If it cannot find such a place, and it is reading a context or
unified diff, and the maximum fuzz factor is set to 1 or more, then
@code{patch} makes another scan, ignoring the first and last line of
context.  If that fails, and the maximum fuzz factor is set to 2 or
more, it makes another scan, ignoring the first two and last two lines
of context are ignored.  It continues similarly if the maximum fuzz
factor is larger.

The @samp{-F @var{lines}} or @samp{--fuzz=@var{lines}} option sets the
maximum fuzz factor to @var{lines}.  This option only applies to context
and unified diffs; it ignores up to @var{lines} lines while looking for
the place to install a hunk.  Note that a larger fuzz factor increases
the odds of making a faulty patch.  The default fuzz factor is 2; it may
not be set to more than the number of lines of context in the diff,
ordinarily 3.

If @code{patch} cannot find a place to install a hunk of the patch, it
writes the hunk out to a reject file (@pxref{Rejects}, for information
on how reject files are named).  It writes out rejected hunks in context
format no matter what form the input patch is in.  If the input is a
normal or @code{ed} diff, many of the contexts are simply null.  The
line numbers on the hunks in the reject file may be different from those
in the patch file: they show the approximate location where @code{patch}
thinks the failed hunks belong in the new file rather than in the old
one.

As it completes each hunk, @code{patch} tells you whether the hunk
succeeded or failed, and if it failed, on which line (in the new file)
@code{patch} thinks the hunk should go.  If this is different from the
line number specified in the diff, it tells you the offset.  A single
large offset @emph{may} indicate that @code{patch} installed a hunk in
the wrong place.  @code{patch} also tells you if it used a fuzz factor
to make the match, in which case you should also be slightly suspicious.

@code{patch} cannot tell if the line numbers are off in an @code{ed}
script, and can only detect wrong line numbers in a normal diff when it
finds a change or delete command.  It may have the same problem with a
context diff using a fuzz factor equal to or greater than the number of
lines of context shown in the diff (typically 3).  In these cases, you
should probably look at a context diff between your original and patched
input files to see if the changes make sense.  Compiling without errors
is a pretty good indication that the patch worked, but not a guarantee.

@code{patch} usually produces the correct results, even when it must
make many guesses.  However, the results are guaranteed only when
the patch is applied to an exact copy of the file that the patch was
generated from.

@node Empty Files, Multiple Patches, Imperfect, Merging with patch
@section Removing Empty Files
@cindex empty files, removing
@cindex removing empty files

Sometimes when comparing two directories, the first directory contains a
file that the second directory does not.  If you give @code{diff} the
@samp{-N} or @samp{--new-file} option, it outputs a diff that deletes
the contents of this file.  By default, @code{patch} leaves an empty
file after applying such a diff.  The @samp{-E} or
@samp{--remove-empty-files} option to @code{patch} deletes output files
that are empty after applying the diff.

@node Multiple Patches, patch Messages, Empty Files, Merging with patch
@section Multiple Patches in a File
@cindex multiple patches

If the patch file contains more than one patch, @code{patch} tries to
apply each of them as if they came from separate patch files.  This
means that it determines the name of the file to patch for each patch,
and that it examines the leading text before each patch for file names
and prerequisite revision level (@pxref{Making Patches}, for more on
that topic).

For the second and subsequent patches in the patch file, you can give
options and another original file name by separating their argument
lists with a @samp{+}.  However, the argument list for a second or
subsequent patch may not specify a new patch file, since that does not
make sense.

For example, to tell @code{patch} to strip the first three slashes from
the name of the first patch in the patch file and none from subsequent
patches, and to use @file{code.c} as the first input file, you can use:

@example
patch -p3 code.c + -p0 < patchfile
@end example

The @samp{-S} or @samp{--skip} option ignores the current patch from the
patch file, but continue looking for the next patch in the file.  Thus,
to ignore the first and third patches in the patch file, you can use:

@example
patch -S + + -S + < patch file
@end example

@node patch Messages, , Multiple Patches, Merging with patch
@section Messages and Questions from @code{patch}
@cindex @code{patch} messages and questions
@cindex diagnostics from @code{patch}
@cindex messages from @code{patch}

@code{patch} can produce a variety of messages, especially if it has
trouble decoding its input.  In a few situations where it's not sure how
to proceed, @code{patch} normally prompts you for more information from
the keyboard.  There are options to suppress printing non-fatal messages
and stopping for keyboard input.

The message @samp{Hmm...} indicates that @code{patch} is reading text in
the patch file, attempting to determine whether there is a patch in that
text, and if so, what kind of patch it is.

You can inhibit all terminal output from @code{patch}, unless an error
occurs, by using the @samp{-s}, @samp{--quiet}, or @samp{--silent}
option.

There are two ways you can prevent @code{patch} from asking you any
questions.  The @samp{-f} or @samp{--force} option assumes that you know
what you are doing.  It assumes the following:

@itemize @bullet
@item
skip patches that do not contain file names in their headers;

@item
patch files even though they have the wrong version for the
@samp{Prereq:} line in the patch;

@item
assume that patches are not reversed even if they look like they are.
@end itemize

The @samp{-t} or @samp{--batch} option is similar to @samp{-f}, in that
it suppresses questions, but it makes somewhat different assumptions:

@itemize @bullet
@item
skip patches that do not contain file names in their headers
(the same as @samp{-f});

@item
skip patches for which the file has the wrong version for the
@samp{Prereq:} line in the patch;

@item
assume that patches are reversed if they look like they are.
@end itemize

@code{patch} exits with a non-zero status if it creates any reject
files.  When applying a set of patches in a loop, you should check the
exit status, so you don't apply a later patch to a partially patched
file.

@node Making Patches, Invoking cmp, Merging with patch, Top
@chapter Tips for Making Patch Distributions
@cindex patch making tips
@cindex tips for patch making

Here are some things you should keep in mind if you are going to
distribute patches for updating a software package.

Make sure you have specified the file names correctly, either in a
context diff header or with an @samp{Index:} line.  If you are patching
files in a subdirectory, be sure to tell the patch user to specify a
@samp{-p} or @samp{--strip} option as needed.  Take care to not send out
reversed patches, since these make people wonder whether they have
already applied the patch.

To save people from partially applying a patch before other patches that
should have gone before it, you can make the first patch in the patch
file update a file with a name like @file{patchlevel.h} or
@file{version.c}, which contains a patch level or version number.  If
the input file contains the wrong version number, @code{patch} will
complain immediately.

An even clearer way to prevent this problem is to put a @samp{Prereq:}
line before the patch.  If the leading text in the patch file contains a
line that starts with @samp{Prereq:}, @code{patch} takes the next word
from that line (normally a version number) and checks whether the next
input file contains that word, preceded and followed by either
white space or a newline.  If not, @code{patch} prompts you for
confirmation before proceeding.  This makes it difficult to accidentally
apply patches in the wrong order.

Since @code{patch} does not handle incomplete lines properly, make sure
that all the source files in your program end with a newline whenever
you release a version.

To create a patch that changes an older version of a package into a
newer version, first make a copy of the older version in a scratch
directory.  Typically you do that by unpacking a @code{tar} or
@code{shar} archive of the older version.

You might be able to reduce the size of the patch by renaming or
removing some files before making the patch.  If the older version of
the package contains any files that the newer version does not, or if
any files have been renamed between the two versions, make a list of
@code{rm} and @code{mv} commands for the user to execute in the old
version directory before applying the patch.  Then run those commands
yourself in the scratch directory.

If there are any files that you don't need to include in the patch
because they can easily be rebuilt from other files (for example,
@file{TAGS} and output from @code{yacc} and @code{makeinfo}), replace
the versions in the scratch directory with the newer versions, using
@code{rm} and @code{ln} or @code{cp}.

Now you can create the patch.  The de-facto standard @code{diff} format
for patch distributions is context format with two lines of context,
produced by giving @code{diff} the @samp{-C 2} option.  Do not use less
than two lines of context, because @code{patch} typically needs at
least two lines for proper operation.  Give @code{diff} the @samp{-P}
option in case the newer version of the package contains any files that
the older one does not.  Make sure to specify the scratch directory
first and the newer directory second.

Add to the top of the patch a note telling the user any @code{rm} and
@code{mv} commands to run before applying the patch.  Then you can
remove the scratch directory.

@node Invoking cmp, Invoking diff, Making Patches, Top
@chapter Invoking @code{cmp}
@cindex invoking @code{cmp}
@cindex @code{cmp} invocation

The @code{cmp} command compares two files, and if they differ, tells the
first byte and line number where they differ.  Its arguments are as
follows:

@example
cmp @var{options}@dots{} @var{from-file} @r{[}@var{to-file}@var{]}
@end example

The file name @samp{-} is always the standard input.  @code{cmp} also
uses the standard input if one file name is omitted.

An exit status of 0 means no differences were found, 1 means some
differences were found, and 2 means trouble.

@menu
* cmp Options::         Summary of options to @code{cmp}.
@end menu

@node cmp Options, , , Invoking cmp
@section Options to @code{cmp}
@cindex @code{cmp} options
@cindex options for @code{cmp}

Below is a summary of all of the options that GNU @code{cmp} accepts.
Most options have two equivalent names, one of which is a single letter
preceded by @samp{-}, and the other of which is a long name preceded by
@samp{--}.  Multiple single letter options (unless they take an
argument) can be combined into a single command line word: @samp{-cl} is
equivalent to @samp{-c -l}.

@table @samp
@item -c
Print the differing characters.  Display control characters as a
@samp{^} followed by a letter of the alphabet and precede characters
that have the high bit set with @samp{M-} (which stands for ``meta'').

@item --ignore-initial=@var{bytes}
Ignore any differences in the the first @var{bytes} bytes of the input files.
Treat files with fewer than @var{bytes} bytes as if they are empty.

@item -l
Print the (decimal) offsets and (octal) values of all differing bytes.

@item --print-chars
Print the differing characters.  Display control characters as a
@samp{^} followed by a letter of the alphabet and precede characters
that have the high bit set with @samp{M-} (which stands for ``meta'').

@item --quiet
@itemx -s
@itemx --silent
Do not print anything; only return an exit status indicating whether
the files differ.

@item --verbose
Print the (decimal) offsets and (octal) values of all differing bytes.

@item -v
@item --version
Output the version number of @code{cmp}.
@end table

@node Invoking diff, Invoking diff3, Invoking cmp, Top
@chapter Invoking @code{diff}
@cindex invoking @code{diff}
@cindex @code{diff} invocation

The format for running the @code{diff} command is:

@example
diff @var{options}@dots{} @var{from-file} @var{to-file}
@end example

In the simplest case, @code{diff} compares the contents of the two files
@var{from-file} and @var{to-file}.  A file name of @samp{-} stands for
text read from the standard input.  As a special case, @samp{diff - -}
compares a copy of standard input to itself.

If @var{from-file} is a directory and @var{to-file} is not, @code{diff}
compares the file in @var{from-file} whose file name is that of @var{to-file},
and vice versa.  The non-directory file must not be @samp{-}.

If both @var{from-file} and @var{to-file} are directories,
@code{diff} compares corresponding files in both directories, in
alphabetical order; this comparison is not recursive unless the
@samp{-r} or @samp{--recursive} option is given.  @code{diff} never
compares the actual contents of a directory as if it were a file.  The
file that is fully specified may not be standard input, because standard
input is nameless and the notion of ``file with the same name'' does not
apply.

@code{diff} options begin with @samp{-}, so normally @var{from-file} and
@var{to-file} may not begin with @samp{-}.  However, @samp{--} as an
argument by itself treats the remaining arguments as file names even if
they begin with @samp{-}.

An exit status of 0 means no differences were found, 1 means some
differences were found, and 2 means trouble.

@menu
* diff Options::        Summary of options to @code{diff}.
@end menu

@node diff Options, , , Invoking diff
@section Options to @code{diff}
@cindex @code{diff} options
@cindex options for @code{diff}

Below is a summary of all of the options that GNU @code{diff} accepts.
Most options have two equivalent names, one of which is a single letter
preceded by @samp{-}, and the other of which is a long name preceded by
@samp{--}.  Multiple single letter options (unless they take an
argument) can be combined into a single command line word: @samp{-ac} is
equivalent to @samp{-a -c}.  Long named options can be abbreviated to
any unique prefix of their name.  Brackets ([ and ]) indicate that an
option takes an optional argument.

@table @samp
@item -@var{lines}
Show @var{lines} (an integer) lines of context.  This option does not
specify an output format by itself; it has no effect unless it is
combined with @samp{-c} (@pxref{Context Format}) or @samp{-u}
(@pxref{Unified Format}).  This option is obsolete.  For proper
operation, @code{patch} typically needs at least two lines of context.

@item -a
Treat all files as text and compare them line-by-line, even if they
do not seem to be text.  @xref{Binary}.

@item -b
Ignore changes in amount of white space.  @xref{White Space}.

@item -B
Ignore changes that just insert or delete blank lines.  @xref{Blank
Lines}.

@item --binary
Read and write data in binary mode.  @xref{Binary}.

@item --brief
Report only whether the files differ, not the details of the
differences.  @xref{Brief}.

@item -c
Use the context output format.  @xref{Context Format}.

@item -C @var{lines}
@itemx --context@r{[}=@var{lines}@r{]}
Use the context output format, showing @var{lines} (an integer) lines of
context, or three if @var{lines} is not given.  @xref{Context Format}.
For proper operation, @code{patch} typically needs at least two lines of
context.

@item --changed-group-format=@var{format}
Use @var{format} to output a line group containing differing lines from
both files in if-then-else format.  @xref{Line Group Formats}.

@item -d
Change the algorithm perhaps find a smaller set of changes.  This makes
@code{diff} slower (sometimes much slower).  @xref{diff Performance}.

@item -D @var{name}
Make merged @samp{#ifdef} format output, conditional on the preprocessor
macro @var{name}.  @xref{If-then-else}.

@item -e
@itemx --ed
Make output that is a valid @code{ed} script.  @xref{ed Scripts}.

@item --exclude=@var{pattern}
When comparing directories, ignore files and subdirectories whose basenames
match @var{pattern}.  @xref{Comparing Directories}.

@item --exclude-from=@var{file}
When comparing directories, ignore files and subdirectories whose basenames
match any pattern contained in @var{file}.  @xref{Comparing Directories}.

@item --expand-tabs
Expand tabs to spaces in the output, to preserve the alignment of tabs
in the input files.  @xref{Tabs}.

@item -f
Make output that looks vaguely like an @code{ed} script but has changes
in the order they appear in the file.  @xref{Forward ed}.

@item -F @var{regexp}
In context and unified format, for each hunk of differences, show some
of the last preceding line that matches @var{regexp}.  @xref{Specified
Headings}.

@item --forward-ed
Make output that looks vaguely like an @code{ed} script but has changes
in the order they appear in the file.  @xref{Forward ed}.

@item -h
This option currently has no effect; it is present for Unix
compatibility.

@item -H
Use heuristics to speed handling of large files that have numerous
scattered small changes.  @xref{diff Performance}.

@item --horizon-lines=@var{lines}
Do not discard the last @var{lines} lines of the common prefix
and the first @var{lines} lines of the common suffix.
@xref{diff Performance}.

@item -i
Ignore changes in case; consider upper- and lower-case letters
equivalent.  @xref{Case Folding}.

@item -I @var{regexp}
Ignore changes that just insert or delete lines that match @var{regexp}.
@xref{Specified Folding}.

@item --ifdef=@var{name}
Make merged if-then-else output using @var{name}.  @xref{If-then-else}.

@item --ignore-all-space
Ignore white space when comparing lines.  @xref{White Space}.

@item --ignore-blank-lines
Ignore changes that just insert or delete blank lines.  @xref{Blank
Lines}.

@item --ignore-case
Ignore changes in case; consider upper- and lower-case to be the same.
@xref{Case Folding}.

@item --ignore-matching-lines=@var{regexp}
Ignore changes that just insert or delete lines that match @var{regexp}.
@xref{Specified Folding}.

@item --ignore-space-change
Ignore changes in amount of white space.
@xref{White Space}.

@item --initial-tab
Output a tab rather than a space before the text of a line in normal or
context format.  This causes the alignment of tabs in the line to look
normal.  @xref{Tabs}.

@item -l
Pass the output through @code{pr} to paginate it.  @xref{Pagination}.

@item -L @var{label}
Use @var{label} instead of the file name in the context format
(@pxref{Context Format}) and unified format (@pxref{Unified Format})
headers.  @xref{RCS}.

@item --label=@var{label}
Use @var{label} instead of the file name in the context format
(@pxref{Context Format}) and unified format (@pxref{Unified Format})
headers.

@item --left-column
Print only the left column of two common lines in side by side format.
@xref{Side by Side Format}.

@item --line-format=@var{format}
Use @var{format} to output all input lines in if-then-else format.
@xref{Line Formats}.

@item --minimal
Change the algorithm to perhaps find a smaller set of changes.  This
makes @code{diff} slower (sometimes much slower).  @xref{diff
Performance}.

@item -n
Output RCS-format diffs; like @samp{-f} except that each command
specifies the number of lines affected.  @xref{RCS}.

@item -N
@itemx --new-file
In directory comparison, if a file is found in only one directory,
treat it as present but empty in the other directory.  @xref{Comparing
Directories}.

@item --new-group-format=@var{format}
Use @var{format} to output a group of lines taken from just the second
file in if-then-else format.  @xref{Line Group Formats}.

@item --new-line-format=@var{format}
Use @var{format} to output a line taken from just the second file in
if-then-else format.  @xref{Line Formats}.

@item --old-group-format=@var{format}
Use @var{format} to output a group of lines taken from just the first
file in if-then-else format.  @xref{Line Group Formats}.

@item --old-line-format=@var{format}
Use @var{format} to output a line taken from just the first file in
if-then-else format.  @xref{Line Formats}.

@item -p
Show which C function each change is in.  @xref{C Function Headings}.

@item -P
When comparing directories, if a file appears only in the second
directory of the two, treat it as present but empty in the other.
@xref{Comparing Directories}.

@item --paginate
Pass the output through @code{pr} to paginate it.  @xref{Pagination}.

@item -q
Report only whether the files differ, not the details of the
differences.  @xref{Brief}.

@item -r
When comparing directories, recursively compare any subdirectories
found.  @xref{Comparing Directories}.

@item --rcs
Output RCS-format diffs; like @samp{-f} except that each command
specifies the number of lines affected.  @xref{RCS}.

@item --recursive
When comparing directories, recursively compare any subdirectories
found.  @xref{Comparing Directories}.

@item --report-identical-files
Report when two files are the same.  @xref{Comparing Directories}.

@item -s
Report when two files are the same.  @xref{Comparing Directories}.

@item -S @var{file}
When comparing directories, start with the file @var{file}.  This is
used for resuming an aborted comparison.  @xref{Comparing Directories}.

@item --sdiff-merge-assist
Print extra information to help @code{sdiff}.  @code{sdiff} uses this
option when it runs @code{diff}.  This option is not intended for users
to use directly.

@item --show-c-function
Show which C function each change is in.  @xref{C Function Headings}.

@item --show-function-line=@var{regexp}
In context and unified format, for each hunk of differences, show some
of the last preceding line that matches @var{regexp}.  @xref{Specified
Headings}.

@item --side-by-side
Use the side by side output format.  @xref{Side by Side Format}.

@item --speed-large-files
Use heuristics to speed handling of large files that have numerous
scattered small changes.  @xref{diff Performance}.

@item --starting-file=@var{file}
When comparing directories, start with the file @var{file}.  This is
used for resuming an aborted comparison.  @xref{Comparing Directories}.

@item --suppress-common-lines
Do not print common lines in side by side format.
@xref{Side by Side Format}.

@item -t
Expand tabs to spaces in the output, to preserve the alignment of tabs
in the input files.  @xref{Tabs}.

@item -T
Output a tab rather than a space before the text of a line in normal or
context format.  This causes the alignment of tabs in the line to look
normal.  @xref{Tabs}.

@item --text
Treat all files as text and compare them line-by-line, even if they
do not appear to be text.  @xref{Binary}.

@item -u
Use the unified output format.  @xref{Unified Format}.

@item --unchanged-group-format=@var{format}
Use @var{format} to output a group of common lines taken from both files
in if-then-else format.  @xref{Line Group Formats}.

@item --unchanged-line-format=@var{format}
Use @var{format} to output a line common to both files in if-then-else
format.  @xref{Line Formats}.

@item --unidirectional-new-file
When comparing directories, if a file appears only in the second
directory of the two, treat it as present but empty in the other.
@xref{Comparing Directories}.

@item -U @var{lines}
@itemx --unified@r{[}=@var{lines}@r{]}
Use the unified output format, showing @var{lines} (an integer) lines of
context, or three if @var{lines} is not given.  @xref{Unified Format}.
For proper operation, @code{patch} typically needs at least two lines of
context.

@item -v
@itemx --version
Output the version number of @code{diff}.

@item -w
Ignore white space when comparing lines.  @xref{White Space}.

@item -W @var{columns}
@itemx --width=@var{columns}
Use an output width of @var{columns} in side by side format.
@xref{Side by Side Format}.

@item -x @var{pattern}
When comparing directories, ignore files and subdirectories whose basenames
match @var{pattern}.  @xref{Comparing Directories}.

@item -X @var{file}
When comparing directories, ignore files and subdirectories whose basenames
match any pattern contained in @var{file}.  @xref{Comparing Directories}.

@item -y
Use the side by side output format.  @xref{Side by Side Format}.
@end table

@node Invoking diff3, Invoking patch, Invoking diff, Top
@chapter Invoking @code{diff3}
@cindex invoking @code{diff3}
@cindex @code{diff3} invocation

The @code{diff3} command compares three files and outputs descriptions
of their differences.  Its arguments are as follows:

@example
diff3 @var{options}@dots{} @var{mine} @var{older} @var{yours}
@end example

The files to compare are @var{mine}, @var{older}, and @var{yours}.
At most one of these three file names may be @samp{-},
which tells @code{diff3} to read the standard input for that file.

An exit status of 0 means @code{diff3} was successful, 1 means some
conflicts were found, and 2 means trouble.

@menu
* diff3 Options::               Summary of options to @code{diff3}.
@end menu

@node diff3 Options, , , Invoking diff3
@section Options to @code{diff3}
@cindex @code{diff3} options
@cindex options for @code{diff3}

Below is a summary of all of the options that GNU @code{diff3}
accepts.  Multiple single letter options (unless they take an argument)
can be combined into a single command line argument.

@table @samp
@item -a
Treat all files as text and compare them line-by-line, even if they
do not appear to be text.  @xref{Binary}.

@item -A
Incorporate all changes from @var{older} to @var{yours} into @var{mine},
surrounding all conflicts with bracket lines.
@xref{Marking Conflicts}.

@item -e
Generate an @code{ed} script that incorporates all the changes from
@var{older} to @var{yours} into @var{mine}.  @xref{Which Changes}.

@item -E
Like @samp{-e}, except bracket lines from overlapping changes' first
and third files.
@xref{Marking Conflicts}.
With @samp{-e}, an overlapping change looks like this:

@example
<<<<<<< @var{mine}
@r{lines from @var{mine}}
=======
@r{lines from @var{yours}}
>>>>>>> @var{yours}
@end example

@item --ed
Generate an @code{ed} script that incorporates all the changes from
@var{older} to @var{yours} into @var{mine}.  @xref{Which Changes}.

@item --easy-only
Like @samp{-e}, except output only the nonoverlapping changes.
@xref{Which Changes}.

@item -i
Generate @samp{w} and @samp{q} commands at the end of the @code{ed}
script for System V compatibility.  This option must be combined with
one of the @samp{-AeExX3} options, and may not be combined with @samp{-m}.
@xref{Saving the Changed File}.

@item --initial-tab
Output a tab rather than two spaces before the text of a line in normal format.
This causes the alignment of tabs in the line to look normal.  @xref{Tabs}.

@item -L @var{label}
@itemx --label=@var{label}
Use the label @var{label} for the brackets output by the @samp{-A},
@samp{-E} and @samp{-X} options.  This option may be given up to three
times, one for each input file.  The default labels are the names of
the input files.  Thus @samp{diff3 -L X -L Y -L Z -m A B C} acts like
@samp{diff3 -m A B C}, except that the output looks like it came from
files named @samp{X}, @samp{Y} and @samp{Z} rather than from files
named @samp{A}, @samp{B} and @samp{C}.  @xref{Marking Conflicts}.

@item -m
@itemx --merge
Apply the edit script to the first file and send the result to standard
output.  Unlike piping the output from @code{diff3} to @code{ed}, this
works even for binary files and incomplete lines.  @samp{-A} is assumed
if no edit script option is specified.  @xref{Bypassing ed}.

@item --overlap-only
Like @samp{-e}, except output only the overlapping changes.
@xref{Which Changes}.

@item --show-all
Incorporate all unmerged changes from @var{older} to @var{yours} into
@var{mine}, surrounding all overlapping changes with bracket lines.
@xref{Marking Conflicts}.

@item --show-overlap
Like @samp{-e}, except bracket lines from overlapping changes' first
and third files.
@xref{Marking Conflicts}.

@item -T
Output a tab rather than two spaces before the text of a line in normal format.
This causes the alignment of tabs in the line to look normal.  @xref{Tabs}.

@item --text
Treat all files as text and compare them line-by-line, even if they
do not appear to be text.  @xref{Binary}.

@item -v
@itemx --version
Output the version number of @code{diff3}.

@item -x
Like @samp{-e}, except output only the overlapping changes.
@xref{Which Changes}.

@item -X
Like @samp{-E}, except output only the overlapping changes.
In other words, like @samp{-x}, except bracket changes as in @samp{-E}.
@xref{Marking Conflicts}.

@item -3
Like @samp{-e}, except output only the nonoverlapping changes.
@xref{Which Changes}.
@end table

@node Invoking patch, Invoking sdiff, Invoking diff3, Top
@chapter Invoking @code{patch}
@cindex invoking @code{patch}
@cindex @code{patch} invocation

Normally @code{patch} is invoked like this:

@example
patch <@var{patchfile}
@end example

The full format for invoking @code{patch} is:

@example
patch @var{options}@dots{} @r{[}@var{origfile} @r{[}@var{patchfile}@r{]}@r{]} @r{[}+ @var{options}@dots{} @r{[}@var{origfile}@r{]}@r{]}@dots{}
@end example

If you do not specify @var{patchfile}, or if @var{patchfile} is
@samp{-}, @code{patch} reads the patch (that is, the @code{diff} output)
from the standard input.

You can specify one or more of the original files as @var{orig} arguments;
each one and options for interpreting it is separated from the others with a
@samp{+}.  @xref{Multiple Patches}, for more information.

If you do not specify an input file on the command line, @code{patch}
tries to figure out from the @dfn{leading text} (any text in the patch
that comes before the @code{diff} output) which file to edit.  In the
header of a context or unified diff, @code{patch} looks in lines
beginning with @samp{***}, @samp{---}, or @samp{+++}; among those, it
chooses the shortest name of an existing file.  Otherwise, if there is
an @samp{Index:} line in the leading text, @code{patch} tries to use the
file name from that line.  If @code{patch} cannot figure out the name of
an existing file from the leading text, it prompts you for the name of
the file to patch.

If the input file does not exist or is read-only, and a suitable RCS or
SCCS file exists, @code{patch} attempts to check out or get the file
before proceeding.

By default, @code{patch} replaces the original input file with the
patched version, after renaming the original file into a backup file
(@pxref{Backups}, for a description of how @code{patch} names backup
files).  You can also specify where to put the output with the @samp{-o
@var{output-file}} or @samp{--output=@var{output-file}} option.

@menu
* patch Directories::   Changing directory and stripping directories.
* Backups::             Backup file names.
* Rejects::             Reject file names.
* patch Options::       Summary table of options to @code{patch}.
@end menu

@node patch Directories, Backups, , Invoking patch
@section Applying Patches in Other Directories
@cindex directories and patch
@cindex patching directories

The @samp{-d @var{directory}} or @samp{--directory=@var{directory}}
option to @code{patch} makes directory @var{directory} the current
directory for interpreting both file names in the patch file, and file
names given as arguments to other options (such as @samp{-B} and
@samp{-o}).  For example, while in a news reading program, you can patch
a file in the @file{/usr/src/emacs} directory directly from the article
containing the patch like this:

@example
| patch -d /usr/src/emacs
@end example

Sometimes the file names given in a patch contain leading directories,
but you keep your files in a directory different from the one given in
the patch.  In those cases, you can use the
@samp{-p@r{[}@var{number}@r{]}} or @samp{--strip@r{[}=@var{number}@r{]}}
option to set the file name strip count to @var{number}.  The strip
count tells @code{patch} how many slashes, along with the directory
names between them, to strip from the front of file names.  @samp{-p}
with no @var{number} given is equivalent to @samp{-p0}.  By default,
@code{patch} strips off all leading directories, leaving just the base file
names, except that when a file name given in the patch is a relative
file name and all of its leading directories already exist, @code{patch} does
not strip off the leading directory.  (A @dfn{relative} file name is one
that does not start with a slash.)

@code{patch} looks for each file (after any slashes have been stripped)
in the current directory, or if you used the @samp{-d @var{directory}}
option, in that directory.

For example, suppose the file name in the patch file is
@file{/gnu/src/emacs/etc/NEWS}.  Using @samp{-p} or @samp{-p0} gives the
entire file name unmodified, @samp{-p1} gives
@file{gnu/src/emacs/etc/NEWS} (no leading slash), @samp{-p4} gives
@file{etc/NEWS}, and not specifying @samp{-p} at all gives @file{NEWS}.

@node Backups, Rejects, patch Directories, Invoking patch
@section Backup File Names
@cindex backup file names

Normally, @code{patch} renames an original input file into a backup file
by appending to its name the extension @samp{.orig}, or @samp{~} on
systems that do not support long file names.  The @samp{-b
@var{backup-suffix}} or @samp{--suffix=@var{backup-suffix}} option uses
@var{backup-suffix} as the backup extension instead.

Alternately, you can specify the extension for backup files with the
@code{SIMPLE_BACKUP_SUFFIX} environment variable, which the options
override.

@code{patch} can also create numbered backup files the way GNU Emacs
does.  With this method, instead of having a single backup of each file,
@code{patch} makes a new backup file name each time it patches a file.
For example, the backups of a file named @file{sink} would be called,
successively, @file{sink.~1~}, @file{sink.~2~}, @file{sink.~3~}, etc.

The @samp{-V @var{backup-style}} or
@samp{--version-control=@var{backup-style}} option takes as an argument
a method for creating backup file names.  You can alternately control
the type of backups that @code{patch} makes with the
@code{VERSION_CONTROL} environment variable, which the @samp{-V} option
overrides.  The value of the @code{VERSION_CONTROL} environment variable
and the argument to the @samp{-V} option are like the GNU Emacs
@code{version-control} variable (@pxref{Backups,
emacs, The GNU Emacs Manual}, for more information on backup versions in
Emacs).  They also recognize synonyms that are more descriptive.  The
valid values are listed below; unique abbreviations are acceptable.

@table @samp
@item t
@itemx numbered
Always make numbered backups.

@item nil
@itemx existing
Make numbered backups of files that already have them, simple backups of
the others.  This is the default.

@item never
@itemx simple
Always make simple backups.
@end table

Alternately, you can tell @code{patch} to prepend a prefix, such as a
directory name, to produce backup file names.  The @samp{-B
@var{backup-prefix}} or @samp{--prefix=@var{backup-prefix}} option makes
backup files by prepending @var{backup-prefix} to them.  If you use this
option, @code{patch} ignores any @samp{-b} option that you give.

If the backup file already exists, @code{patch} creates a new backup
file name by changing the first lowercase letter in the last component
of the file name into uppercase.  If there are no more lowercase letters
in the name, it removes the first character from the name.  It repeats
this process until it comes up with a backup file name that does not
already exist.

If you specify the output file with the @samp{-o} option, that file is
the one that is backed up, not the input file.

@node Rejects, patch Options, Backups, Invoking patch
@section Reject File Names
@cindex reject file names

The names for reject files (files containing patches that @code{patch}
could not find a place to apply) are normally the name of the output
file with @samp{.rej} appended (or @samp{#} on systems that do not
support long file names).

Alternatively, you can tell @code{patch} to place all of the rejected
patches in a single file.  The @samp{-r @var{reject-file}} or
@samp{--reject-file=@var{reject-file}} option uses @var{reject-file} as
the reject file name.

@node patch Options, , Rejects, Invoking patch
@section Options to @code{patch}
@cindex @code{patch} options
@cindex options for @code{patch}

Here is a summary of all of the options that @code{patch} accepts.
Older versions of @code{patch} do not accept long-named options or the
@samp{-t}, @samp{-E}, or @samp{-V} options.

Multiple single-letter options that do not take an argument can be
combined into a single command line argument (with only one dash).
Brackets ([ and ]) indicate that an option takes an optional argument.

@table @samp
@item -b @var{backup-suffix}
Use @var{backup-suffix} as the backup extension instead of
@samp{.orig} or @samp{~}.  @xref{Backups}.

@item -B @var{backup-prefix}
Use @var{backup-prefix} as a prefix to the backup file name.  If this
option is specified, any @samp{-b} option is ignored.  @xref{Backups}.

@item --batch
Do not ask any questions.  @xref{patch Messages}.

@item -c
@itemx --context
Interpret the patch file as a context diff.  @xref{patch Input}.

@item -d @var{directory}
@itemx --directory=@var{directory}
Makes directory @var{directory} the current directory for interpreting
both file names in the patch file, and file names given as arguments to
other options.  @xref{patch Directories}.

@item -D @var{name}
Make merged if-then-else output using @var{format}.  @xref{If-then-else}.

@item --debug=@var{number}
Set internal debugging flags.  Of interest only to @code{patch}
patchers.

@item -e
@itemx --ed
Interpret the patch file as an @code{ed} script.  @xref{patch Input}.

@item -E
Remove output files that are empty after the patches have been applied.
@xref{Empty Files}.

@item -f
Assume that the user knows exactly what he or she is doing, and do not
ask any questions.  @xref{patch Messages}.

@item -F @var{lines}
Set the maximum fuzz factor to @var{lines}.  @xref{Inexact}.

@item --force
Assume that the user knows exactly what he or she is doing, and do not
ask any questions.  @xref{patch Messages}.

@item --forward
Ignore patches that @code{patch} thinks are reversed or already applied.
See also @samp{-R}.  @xref{Reversed Patches}.

@item --fuzz=@var{lines}
Set the maximum fuzz factor to @var{lines}.  @xref{Inexact}.

@item --help
Print a summary of the options that @code{patch} recognizes, then exit.

@item --ifdef=@var{name}
Make merged if-then-else output using @var{format}.  @xref{If-then-else}.

@item --ignore-white-space
@itemx -l
Let any sequence of white space in the patch file match any sequence of
white space in the input file.  @xref{Changed White Space}.

@item -n
@itemx --normal
Interpret the patch file as a normal diff.  @xref{patch Input}.

@item -N
Ignore patches that @code{patch} thinks are reversed or already applied.
See also @samp{-R}.  @xref{Reversed Patches}.

@item -o @var{output-file}
@itemx --output=@var{output-file}
Use @var{output-file} as the output file name.  @xref{patch Options}.

@item -p@r{[}@var{number}@r{]}
Set the file name strip count to @var{number}.  @xref{patch Directories}.

@item --prefix=@var{backup-prefix}
Use @var{backup-prefix} as a prefix to the backup file name.  If this
option is specified, any @samp{-b} option is ignored.  @xref{Backups}.

@item --quiet
Work silently unless an error occurs.  @xref{patch Messages}.

@item -r @var{reject-file}
Use @var{reject-file} as the reject file name.  @xref{Rejects}.

@item -R
Assume that this patch was created with the old and new files swapped.
@xref{Reversed Patches}.

@item --reject-file=@var{reject-file}
Use @var{reject-file} as the reject file name.  @xref{Rejects}.

@item --remove-empty-files
Remove output files that are empty after the patches have been applied.
@xref{Empty Files}.

@item --reverse
Assume that this patch was created with the old and new files swapped.
@xref{Reversed Patches}.

@item -s
Work silently unless an error occurs.  @xref{patch Messages}.

@item -S
Ignore this patch from the patch file, but continue looking for the next
patch in the file.  @xref{Multiple Patches}.

@item --silent
Work silently unless an error occurs.  @xref{patch Messages}.

@item --skip
Ignore this patch from the patch file, but continue looking for the next
patch in the file.  @xref{Multiple Patches}.

@item --strip@r{[}=@var{number}@r{]}
Set the file name strip count to @var{number}.  @xref{patch Directories}.

@item --suffix=@var{backup-suffix}
Use @var{backup-suffix} as the backup extension instead of
@samp{.orig} or @samp{~}.  @xref{Backups}.

@item -t
Do not ask any questions.  @xref{patch Messages}.

@item -u
@itemx --unified
Interpret the patch file as a unified diff.  @xref{patch Input}.

@item -v
Output the revision header and patch level of @code{patch}.

@item -V @var{backup-style}
Select the kind of backups to make.  @xref{Backups}.

@item --version
Output the revision header and patch level of @code{patch}, then exit.

@item --version=control=@var{backup-style}
Select the kind of backups to make.  @xref{Backups}.

@item -x @var{number}
Set internal debugging flags.  Of interest only to @code{patch}
patchers.
@end table

@node Invoking sdiff, Incomplete Lines, Invoking patch, Top
@chapter Invoking @code{sdiff}
@cindex invoking @code{sdiff}
@cindex @code{sdiff} invocation

The @code{sdiff} command merges two files and interactively outputs the
results.  Its arguments are as follows:

@example
sdiff -o @var{outfile} @var{options}@dots{} @var{from-file} @var{to-file}
@end example

This merges @var{from-file} with @var{to-file}, with output to @var{outfile}.
If @var{from-file} is a directory and @var{to-file} is not, @code{sdiff}
compares the file in @var{from-file} whose file name is that of @var{to-file},
and vice versa.  @var{from-file} and @var{to-file} may not both be
directories.

@code{sdiff} options begin with @samp{-}, so normally @var{from-file}
and @var{to-file} may not begin with @samp{-}.  However, @samp{--} as an
argument by itself treats the remaining arguments as file names even if
they begin with @samp{-}.  You may not use @samp{-} as an input file.

An exit status of 0 means no differences were found, 1 means some
differences were found, and 2 means trouble.

@code{sdiff} without @samp{-o} (or @samp{--output}) produces a
side-by-side difference.  This usage is obsolete; use @samp{diff
--side-by-side} instead.

@menu
* sdiff Options::       Summary of options to @code{diff}.
@end menu

@node sdiff Options, , , Invoking sdiff
@section Options to @code{sdiff}
@cindex @code{sdiff} options
@cindex options for @code{sdiff}

Below is a summary of all of the options that GNU @code{sdiff} accepts.
Each option has two equivalent names, one of which is a single
letter preceded by @samp{-}, and the other of which is a long name
preceded by @samp{--}.  Multiple single letter options (unless they take
an argument) can be combined into a single command line argument.  Long
named options can be abbreviated to any unique prefix of their name.

@table @samp
@item -a
Treat all files as text and compare them line-by-line, even if they
do not appear to be text.  @xref{Binary}.

@item -b
Ignore changes in amount of white space.  @xref{White Space}.

@item -B
Ignore changes that just insert or delete blank lines.  @xref{Blank
Lines}.

@item -d
Change the algorithm to perhaps find a smaller set of changes.  This
makes @code{sdiff} slower (sometimes much slower).  @xref{diff
Performance}.

@item -H
Use heuristics to speed handling of large files that have numerous
scattered small changes.  @xref{diff Performance}.

@item --expand-tabs
Expand tabs to spaces in the output, to preserve the alignment of tabs
in the input files.  @xref{Tabs}.

@item -i
Ignore changes in case; consider upper- and lower-case to be the same.
@xref{Case Folding}.

@item -I @var{regexp}
Ignore changes that just insert or delete lines that match @var{regexp}.
@xref{Specified Folding}.

@item --ignore-all-space
Ignore white space when comparing lines.  @xref{White Space}.

@item --ignore-blank-lines
Ignore changes that just insert or delete blank lines.  @xref{Blank
Lines}.

@item --ignore-case
Ignore changes in case; consider upper- and lower-case to be the same.
@xref{Case Folding}.

@item --ignore-matching-lines=@var{regexp}
Ignore changes that just insert or delete lines that match @var{regexp}.
@xref{Specified Folding}.

@item --ignore-space-change
Ignore changes in amount of white space.
@xref{White Space}.

@item -l
@itemx --left-column
Print only the left column of two common lines.
@xref{Side by Side Format}.

@item --minimal
Change the algorithm to perhaps find a smaller set of changes.  This
makes @code{sdiff} slower (sometimes much slower).  @xref{diff
Performance}.

@item -o @var{file}
@itemx --output=@var{file}
Put merged output into @var{file}.  This option is required for merging.

@item -s
@itemx --suppress-common-lines
Do not print common lines.  @xref{Side by Side Format}.

@item --speed-large-files
Use heuristics to speed handling of large files that have numerous
scattered small changes.  @xref{diff Performance}.

@item -t
Expand tabs to spaces in the output, to preserve the alignment of tabs
in the input files.  @xref{Tabs}.

@item --text
Treat all files as text and compare them line-by-line, even if they
do not appear to be text.  @xref{Binary}.

@item -v
@itemx --version
Output the version number of @code{sdiff}.

@item -w @var{columns}
@itemx --width=@var{columns}
Use an output width of @var{columns}.  @xref{Side by Side Format}.
Note that for historical reasons, this option is @samp{-W} in @code{diff},
@samp{-w} in @code{sdiff}.

@item -W
Ignore horizontal white space when comparing lines.  @xref{White Space}.
Note that for historical reasons, this option is @samp{-w} in @code{diff},
@samp{-W} in @code{sdiff}.
@end table

@node Incomplete Lines, Projects, Invoking sdiff, Top
@chapter Incomplete Lines
@cindex incomplete lines
@cindex full lines
@cindex newline treatment by @code{diff}

When an input file ends in a non-newline character, its last line is
called an @dfn{incomplete line} because its last character is not a
newline.  All other lines are called @dfn{full lines} and end in a
newline character.  Incomplete lines do not match full lines unless
differences in white space are ignored (@pxref{White Space}).

An incomplete line is normally distinguished on output from a full line
by a following line that starts with @samp{\}.  However, the RCS format
(@pxref{RCS}) outputs the incomplete line as-is, without any trailing
newline or following line.  The side by side format normally represents
incomplete lines as-is, but in some cases uses a @samp{\} or @samp{/}
gutter marker; @xref{Side by Side}.  The if-then-else line format
preserves a line's incompleteness with @samp{%L}, and discards the
newline with @samp{%l}; @xref{Line Formats}.  Finally, with the
@code{ed} and forward @code{ed} output formats (@pxref{Output Formats})
@code{diff} cannot represent an incomplete line, so it pretends there
was a newline and reports an error.

For example, suppose @file{F} and @file{G} are one-byte files that
contain just @samp{f} and @samp{g}, respectively.  Then @samp{diff F G}
outputs

@example
1c1
< f
\ No newline at end of file
---
> g
\ No newline at end of file
@end example

@noindent
(The exact message may differ in non-English locales.)
@samp{diff -n F G} outputs the following without a trailing newline:

@example
d1 1
a1 1
g
@end example

@samp{diff -e F G} reports two errors and outputs the following:

@example
1c
g
.
@end example

@node Projects, Concept Index, Incomplete Lines, Top
@chapter Future Projects

Here are some ideas for improving GNU @code{diff} and @code{patch}.  The
GNU project has identified some improvements as potential programming
projects for volunteers.  You can also help by reporting any bugs that
you find.

If you are a programmer and would like to contribute something to the
GNU project, please consider volunteering for one of these projects.  If
you are seriously contemplating work, please write to
@samp{gnu@@prep.ai.mit.edu} to coordinate with other volunteers.

@menu
* Shortcomings::        Suggested projects for improvements.
* Bugs::                Reporting bugs.
@end menu

@node Shortcomings, Bugs, , Projects
@section Suggested Projects for Improving GNU @code{diff} and @code{patch}
@cindex projects for directories

One should be able to use GNU @code{diff} to generate a patch from any
pair of directory trees, and given the patch and a copy of one such
tree, use @code{patch} to generate a faithful copy of the other.
Unfortunately, some changes to directory trees cannot be expressed using
current patch formats; also, @code{patch} does not handle some of the
existing formats.  These shortcomings motivate the following suggested
projects.

@menu
* Changing Structure::  Handling changes to the directory structure.
* Special Files::       Handling symbolic links, device special files, etc.
* Unusual File Names::  Handling file names that contain unusual characters.
* Arbitrary Limits::    Patching non-text files.
* Large Files::         Handling files that do not fit in memory.
* Ignoring Changes::    Ignoring certain changes while showing others.
@end menu

@node Changing Structure, Special Files, , Shortcomings
@subsection Handling Changes to the Directory Structure
@cindex directory structure changes

@code{diff} and @code{patch} do not handle some changes to directory
structure.  For example, suppose one directory tree contains a directory
named @samp{D} with some subsidiary files, and another contains a file
with the same name @samp{D}.  @samp{diff -r} does not output enough
information for @code{patch} to transform the the directory subtree into
the file.

There should be a way to specify that a file has been deleted without
having to include its entire contents in the patch file.  There should
also be a way to tell @code{patch} that a file was renamed, even if
there is no way for @code{diff} to generate such information.

These problems can be fixed by extending the @code{diff} output format
to represent changes in directory structure, and extending @code{patch}
to understand these extensions.

@node Special Files, Unusual File Names, Changing Structure, Shortcomings
@subsection Files that are Neither Directories Nor Regular Files
@cindex special files

Some files are neither directories nor regular files: they are unusual
files like symbolic links, device special files, named pipes, and
sockets.  Currently, @code{diff} treats symbolic links like regular files;
it treats other special files like regular files if they are specified
at the top level, but simply reports their presence when comparing
directories.  This means that @code{patch} cannot represent changes
to such files.  For example, if you change which file a symbolic link
points to, @code{diff} outputs the difference between the two files,
instead of the change to the symbolic link.

@c This might not be a good idea; is it wise for root to install devices
@c this way?
@code{diff} should optionally report changes to special files specially,
and @code{patch} should be extended to understand these extensions.

@node Unusual File Names, Arbitrary Limits, Special Files, Shortcomings
@subsection File Names that Contain Unusual Characters
@cindex file names with unusual characters

When a file name contains an unusual character like a newline or
white space, @samp{diff -r} generates a patch that @code{patch} cannot
parse.  The problem is with format of @code{diff} output, not just with
@code{patch}, because with odd enough file names one can cause
@code{diff} to generate a patch that is syntactically correct but
patches the wrong files.  The format of @code{diff} output should be
extended to handle all possible file names.

@node Arbitrary Limits, Large Files, Unusual File Names, Shortcomings
@subsection Arbitrary Limits
@cindex binary file patching

GNU @code{diff} can analyze files with arbitrarily long lines and files
that end in incomplete lines.  However, @code{patch} cannot patch such
files.  The @code{patch} internal limits on line lengths should be
removed, and @code{patch} should be extended to parse @code{diff}
reports of incomplete lines.

@node Large Files, Ignoring Changes, Arbitrary Limits, Shortcomings
@subsection Handling Files that Do Not Fit in Memory
@cindex large files

@code{diff} operates by reading both files into memory.  This method
fails if the files are too large, and @code{diff} should have a fallback.

One way to do this is to scan the files sequentially to compute hash
codes of the lines and put the lines in equivalence classes based only
on hash code.  Then compare the files normally.  This does produce some
false matches.

Then scan the two files sequentially again, checking each match to see
whether it is real.  When a match is not real, mark both the
``matching'' lines as changed.  Then build an edit script as usual.

The output routines would have to be changed to scan the files
sequentially looking for the text to print.

@node Ignoring Changes,, Large Files, Shortcomings
@subsection Ignoring Certain Changes

It would be nice to have a feature for specifying two strings, one in
@var{from-file} and one in @var{to-file}, which should be considered to
match.  Thus, if the two strings are @samp{foo} and @samp{bar}, then if
two lines differ only in that @samp{foo} in file 1 corresponds to
@samp{bar} in file 2, the lines are treated as identical.

It is not clear how general this feature can or should be, or
what syntax should be used for it.

@node Bugs, , Shortcomings, Projects
@section Reporting Bugs
@cindex bug reports
@cindex reporting bugs

If you think you have found a bug in GNU @code{cmp}, @code{diff},
@code{diff3}, @code{sdiff}, or @code{patch}, please report it by
electronic mail to @samp{bug-gnu-utils@@prep.ai.mit.edu}.  Send as
precise a description of the problem as you can, including sample input
files that produce the bug, if applicable.

Because Larry Wall has not released a new version of @code{patch} since
mid 1988 and the GNU version of @code{patch} has been changed since
then, please send bug reports for @code{patch} by electronic mail to
both @samp{bug-gnu-utils@@prep.ai.mit.edu} and
@samp{lwall@@netlabs.com}.

@node Concept Index, , Projects, Top
@unnumbered Concept Index

@printindex cp

@shortcontents
@contents
@bye