diff options
| author | Jeff King <peff@peff.net> | 2023-03-09 01:09:54 -0500 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-03-09 08:32:21 -0800 |
| commit | b39a5697296659c344cd0a286b51303fd5375fab (patch) | |
| tree | fae2ab944498606552c29e45339ec259f2b4f769 /Documentation/diff-options.txt | |
| parent | 7c03d0db8807d303540297432455adfa1c45b05e (diff) | |
| download | git-b39a5697296659c344cd0a286b51303fd5375fab.tar.gz | |
diff: add --default-prefix option
You can change the output of prefixes with diff.noprefix and
diff.mnemonicprefix, but there's no easy way to override them from the
command-line. We do have "--no-prefix", but there's no way to get back
to the default prefix. So let's add an option to do that.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/diff-options.txt')
| -rw-r--r-- | Documentation/diff-options.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Documentation/diff-options.txt b/Documentation/diff-options.txt index 7d73e976d9..08ab86189a 100644 --- a/Documentation/diff-options.txt +++ b/Documentation/diff-options.txt @@ -852,6 +852,11 @@ endif::git-format-patch[] --no-prefix:: Do not show any source or destination prefix. +--default-prefix:: + Use the default source and destination prefixes ("a/" and "b/"). + This is usually the default already, but may be used to override + config such as `diff.noprefix`. + --line-prefix=<prefix>:: Prepend an additional prefix to every line of output. |