diff options
author | Carlos Manuel Duclos Vergara <carlos.duclos@nokia.com> | 2009-02-16 18:20:25 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-03-04 00:56:52 -0800 |
commit | aec0c1bbfb2d42659bb710bd79f8228ac59e1b0c (patch) | |
tree | d82e30e8fc402b91c958be030f54f38736f6d5bb /Documentation/git-archive.txt | |
parent | 734cd5726cf0f16fcbdc2fc121df23814513c420 (diff) | |
download | git-aec0c1bbfb2d42659bb710bd79f8228ac59e1b0c.tar.gz |
git-archive: add --output=<file> to send output to a file
When archiving a repository there is no way to specify a file as output.
This patch adds a new option "--output" that redirects the output to a
file instead of stdout.
Signed-off-by: Carlos Manuel Duclos Vergara <carlos.duclos@nokia.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-archive.txt')
-rw-r--r-- | Documentation/git-archive.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/git-archive.txt b/Documentation/git-archive.txt index 5b3eb12c8a..0eeefe0060 100644 --- a/Documentation/git-archive.txt +++ b/Documentation/git-archive.txt @@ -10,6 +10,7 @@ SYNOPSIS -------- [verse] 'git archive' --format=<fmt> [--list] [--prefix=<prefix>/] [<extra>] + [--output=<file>] [--remote=<repo> [--exec=<git-upload-archive>]] <tree-ish> [path...] @@ -47,6 +48,9 @@ OPTIONS --prefix=<prefix>/:: Prepend <prefix>/ to each filename in the archive. +--output=<file>:: + Write the archive to <file> instead of stdout. + <extra>:: This can be any options that the archiver backend understand. See next section. |