diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2007-07-23 12:58:27 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-07-26 22:51:44 -0700 |
| commit | f653aee5a37b909e772d612eb7e226f09fd2f3d3 (patch) | |
| tree | 0f4c571b9599721150db43ffcb87b085b83c2c30 /Documentation/git-stripspace.txt | |
| parent | 2ae68fcb785a617793813abcea19893e13e436b0 (diff) | |
| download | git-f653aee5a37b909e772d612eb7e226f09fd2f3d3.tar.gz | |
Teach "git stripspace" the --strip-comments option
With --strip-comments (or short -s), git stripspace now removes lines
beginning with a '#', too.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-stripspace.txt')
| -rw-r--r-- | Documentation/git-stripspace.txt | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Documentation/git-stripspace.txt b/Documentation/git-stripspace.txt index 1306d7bab7..5212358306 100644 --- a/Documentation/git-stripspace.txt +++ b/Documentation/git-stripspace.txt @@ -8,7 +8,7 @@ git-stripspace - Filter out empty lines SYNOPSIS -------- -'git-stripspace' < <stream> +'git-stripspace' [-s | --strip-comments] < <stream> DESCRIPTION ----------- @@ -16,6 +16,9 @@ Remove multiple empty lines, and empty lines at beginning and end. OPTIONS ------- +-s\|--strip-comments:: + In addition to empty lines, also strip lines starting with '#'. + <stream>:: Byte stream to act on. |